git.iko.soy/Idris-dev
on 7a30f10 help sign in
Idris-dev/src/Idris
5 files
../ AbsSyntax.hsMaybe if I add liftCatch locally things will work on 6.12 ElabDecls.hsAdd ElabDecls Parser.hsOops REPL.hs:ttshell REPLParser.hs:ttshell