git.iko.soy/Idris-dev
on 46338e2 help sign in
Idris-dev/src
3 folders, 1 file
../ Core/Fix for simple function applications Idris/Parsing restrictions for implicit argument types 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.