idris-matrix

A simple Idris library for manipulating matrices 🧙

DateCommit messageAuthorFiles+-
Updated the READMEPablo1+1-1
Converted the README to MarkdownPablo3+10-10
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