git.pablopie.xyz
idris-matrix
A simple Idris library for manipulating matrices 🧙
summery
log
tree
refs
license
git clone:
git://git.pablopie.xyz/idris-matrix
Name
.gitignore
Data/Matrix.idr
LICENSE
README.md