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 |