idris-matrix
A simple Idris library for manipulating matrices 🧙
Date | Commit message | Author | Files | + | - |
Updated the README | Pablo | 1 | +1 | -1 | |
Converted the README to Markdown | Pablo | 3 | +10 | -10 | |
Removed binary blobs from the repository | Pablo Emílio Escobar Gaviria | 2 | +1 | -0 | |
Added a README and licensing information | Pablo Emílio Escobar Gaviria | 2 | +680 | -0 | |
Initial commit | Pablo Emílio Escobar Gaviria | 2 | +143 | -0 |