git.iko.soy/Idris-dev
on 21ffb28 help sign in
Idris-dev/src
3 folders, 1 file
../ Core/Fix for simple function applications Idris/Allow explicit names on type class instances (for explicit resolution) Util/Some playing around with widths to make everything look nicer. Main.hsAdd "--errorcontext" flag, and :set and :unset in the REPL. :set errorcontext will cause unification errors to also dump the current context.