Distributive instance - Githubissues

bodil / purescript-sized-vectors

Idris style sized vectors in PureScript

18 stars 12 forks source link

Closed matthewleon closed 6 years ago

matthewleon commented 7 years ago

Tests its use as matrix transposition.

This facilitates doing some simple things with type-safe matrices composed of Vecs of Vecs.

matthewleon commented 7 years ago

Any feedback on this?