linear-1.20.7: Linear Algebra

# linear-1.20.7: Linear Algebra

Types and combinators for linear algebra on free vector spaces

Modules

- Linear
  - Linear.Affine
  - Linear.Algebra
  - Linear.Binary
  - Linear.Conjugate
  - Linear.Covector
  - Linear.Epsilon
  - Linear.Instances
  - Linear.Matrix
  - Linear.Metric
  - Linear.Plucker
    - Linear.Plucker.Coincides
  - Linear.Projection
  - Linear.Quaternion
  - Linear.Trace
  - Linear.V
  - Linear.V0
  - Linear.V1
  - Linear.V2
  - Linear.V3
  - Linear.V4
  - Linear.Vector