git.iko.soy/Idris-dev
on 6cb70bc help sign in
Idris-dev/src
3 folders, 1 file
../ Core/Fix for simple function applications Idris/Fix for simple function applications 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.