Carouge, F. Typed Linear Algebra (Version 0.1.0) [Computer software]. https://github.com/FrancoisCarouge/TypedLinearAlgebra