typelevel-tensor (hackage): A tensor class for Haskell that stores rank and dimension information in type-level.
Keywords: bsd3|data|library