git.iko.soy/Idris-dev
on 083fc70 help sign in
Idris-dev/src/Idris
8 files
../ AbsSyntax.hsAdded 'where' clauses in pattern matches Delaborate.hsAllow interleaving of explicit and implicit arguments in top level types ElabDecls.hsAdded 'where' clauses in pattern matches Error.hsTinkering with error reporting Parser.hsAdded 'where' clauses in pattern matches Primitives.hsAdd ElabInfo to pass through elaborator REPL.hsAdd ElabInfo to pass through elaborator REPLParser.hsAdded using blocks