idris-matrix

A simple Idris library for manipulating matrices 🧙

README.md (100B)

1 # idris-matrix
2 
3 A simple Idris library for manipulating matrices 🧙
4 
5 This is mostly an exercise.
6