idris-matrix

A simple Idris library for manipulating matrices 🧙

git clone: git://git.pablopie.xyz/idris-matrix
Log
Files
Refs
README
LICENSE

Pablo 02/05/2021 23:03

Updated the README

Pablo 01/05/2021 19:31

Converted the README to Markdown

Pablo Emílio Escobar Gaviria 08/08/2020 19:29

Removed binary blobs from the repository

Pablo Emílio Escobar Gaviria 08/08/2020 19:26

Added a README and licensing information

Pablo Emílio Escobar Gaviria 08/08/2020 19:19