../ AbsSyntax.hsAllow type labels on sigma bindings15 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.hsFix refine on local names15 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.hsAllow type labels on sigma bindings15 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.hs:e now reloads the edited file15 years ago REPLParser.hsAdd mechanism for simplification and function options15 years ago