linear-1.20.8: Linear Algebra
Types and combinators for linear algebra on free vector spaces
Signatures
Modules