idris-matrix
A simple Idris library for manipulating matrices 🧙
| Mode | Name | Size |
-rw-r--r-- |
.gitignore | 1L |
-rw-r--r-- |
Data/Matrix.idr | 143L |
-rw-r--r-- |
LICENSE | 674L |
-rw-r--r-- |
README.md | 6L |
A simple Idris library for manipulating matrices 🧙
| Mode | Name | Size |
-rw-r--r-- |
.gitignore | 1L |
-rw-r--r-- |
Data/Matrix.idr | 143L |
-rw-r--r-- |
LICENSE | 674L |
-rw-r--r-- |
README.md | 6L |