idris-matrix

A simple Idris library for manipulating matrices 🧙

Branches

NameLast commit dateAuthor
master Pablo