idris-matrix

A simple Idris library for manipulating matrices 🧙

ModeNameSize
-rw-r--r--.gitignore1L
-rw-r--r--Data/Matrix.idr143L
-rw-r--r--LICENSE674L
-rw-r--r--README.md6L