linear

Types and combinators for linear algebra on free vector spaces