git.iko.soy/Idris-dev
on 3812df8 help sign in
Idris-dev/src
5 folders, 1 file
../ Core/rename rts include file IRTS/Compile foreign calls Idris/rename rts include file RTS/Added binding form to syntax rules (and updated tutorial accordingly) Util/Some playing around with widths to make everything look nicer. Main.hsTest file for new VM, hook up parser