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 |