@hackage typelevel-tensor0.1

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.