idris-matrix

A simple Idris library for manipulating matrices 🧙

DateCommit messageAuthorFiles+-
Removed binary blobs from the repositoryPablo Emílio Escobar Gaviria2+1-0
Added a README and licensing informationPablo Emílio Escobar Gaviria2+680-0
Initial commitPablo Emílio Escobar Gaviria2+143-0