git.iko.soy/Idris-dev
on 54daba1 help sign in
Idris-dev/src
4 folders, 1 file
../ Core/Unification tweak Use the code the programmer gives, not code the unifier finds. Idris/Unification tweak Use the code the programmer gives, not code the unifier finds. 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