linear-1.18.3: Linear Algebra

Types and combinators for linear algebra on free vector spaces