register
log in
hub.darcs.net
::
vmchale
->
lazy_matrices
-> open issues
Matrix math in Idris
open
closed
all
new issue
no issues!
there don't seem to be any issues for this project.
files
changes
issues (0)
fork
download .zip
darcs get url