git.pablopie.xyz
idris-matrix
A simple Idris library for manipulating matrices 🧙
git clone:
git://git.pablopie.xyz/idris-matrix
Log
Files
Refs
README
LICENSE
raw file (blob)
.gitignore (6B)
1
*.ibc