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 |