idris-matrix

A simple Idris library for manipulating matrices 🧙

commit f6bba90fa473bb141cd484552520c28d4eacde84
parent 61dec7fc609c22f4c28fb29c682617aba2a77f43
Author: Pablo Emílio Escobar Gaviria <pablo-escobar@riseup.net>
Date:   Sat,  8 Aug 2020 16:29:58 -0300

Removed binary blobs from the repository

Diffstat:
A.gitignore | 1+
DData/Matrix.ibc | 0
2 files changed, 1 insertion(+), 0 deletions(-)
diff --git a/.gitignore b/.gitignore
@@ -0,0 +1 @@
+*.ibc
diff --git a/Data/Matrix.ibc b/Data/Matrix.ibc
Binary files differ.