typelevel-tensor

A tensor class for Haskell that can type-infer and type-check over tensor ranks and dimensions. See https:github.comnushio3typelevel-tensortreemaster/example for examples.