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