A simple Idris library for manipulating matrices 🧙
Updated the README
Converted the README to Markdown
Removed binary blobs from the repository
Added a README and licensing information
Initial commit