git.iko.soy/Idris-dev
on c01becb help sign in
Idris-dev/src/Idris
11 files
../ AbsSyntax.hsDon't bind pattern variables if they're in scope Compiler.hsAdded log/exp (and lib/link directives) Delaborate.hsBetter elaboration order; also changed instance argument syntax slightly ElabDecls.hsDon't bind pattern variables if they're in scope Error.hs:r and :e at the REPL. Imports.hsAdded log/exp (and lib/link directives) Parser.hsLogging options Primitives.hsAdded log/exp (and lib/link directives) Prover.hsAdd mechanism for simplification and function options REPL.hsLogging options REPLParser.hsAdd mechanism for simplification and function options