A simple Idris library for manipulating matrices 🧙
git clone: git://git.pablopie.xyz/idris-matrix
1 *.ibc