idris-matrix

A simple Idris library for manipulating matrices 🧙

git clone: git://git.pablopie.xyz/idris-matrix
Log
Files
Refs
README
LICENSE

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