linear-1.21.1: Linear Algebra

linear-1.21.1: Linear Algebra

Types and combinators for linear algebra on free vector spaces

Signatures

Modules