git.iko.soy/Idris-dev
on 0e997ee help sign in
Idris-dev/src
4 folders, 1 file
../ Core/Towards primitives in new VM Idris/Syntax rules need to allow implicits RTS/Hook up new output; deal with exact calls Util/Some playing around with widths to make everything look nicer. Main.hsHook up new output; deal with exact calls