idris-matrix

A simple Idris library for manipulating matrices 🧙 

commit 22d55fc797a3ffbb8be51ee38e217d1d730135a7
parent 1add772cdb3949a50f0b23b9e290393382c6ddcf
Author: Pablo <pablo-escobar@riseup.net>
Date:   Sun,  2 May 2021 23:03:48 +0000

Updated the README

Diffstat:

MREADME.md | 2+-



1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
@@ -1,4 +1,4 @@
-## Data.Matrix
+# idris-matrix
 
 A simple Idris library for manipulating matrices 🧙