git.iko.soy/Idris-dev
on 01a9216 help sign in
Idris-dev/src
4 folders, 1 file
../ Core/Quicker resolution of overloaded names By checking the name's type against the goal type rather than fully checking. Idris/Quicker resolution of overloaded names By checking the name's type against the goal type rather than fully checking. RTS/Added binding form to syntax rules (and updated tutorial accordingly) Util/Some playing around with widths to make everything look nicer. Main.hsHook up new output; deal with exact calls