typelevel-tensor

Tensors whose ranks and dimensions type-inferred and type-checked.

A tensor class for Haskell that can type-infer and type-check over tensor ranks and dimensions. See https://github.com/nushio3/typelevel-tensor/tree/master/example for examples.