idris-matrix

A simple Idris library for manipulating matrices 🧙

This is mostly an exercise.