../ AbsSyntax.hsAdded tactics construct, and tactic sequencing/choice15 years ago Compiler.hsAdded Integer (but an Epic bug prevents them compiling properly)15 years ago Delaborate.hsBetter elaboration order; also changed instance argument syntax slightly15 years ago ElabDecls.hsAdded Integer (but an Epic bug prevents them compiling properly)15 years ago Error.hs:r and :e at the REPL.15 years ago Imports.hsAdded log/exp (and lib/link directives)15 years ago Parser.hsAdded Integer (but an Epic bug prevents them compiling properly)15 years ago Primitives.hsAdded Integer (but an Epic bug prevents them compiling properly)15 years ago Prover.hsAdd mechanism for simplification and function options15 years ago REPL.hsLogging options15 years ago REPLParser.hsAdd mechanism for simplification and function options15 years ago