../ AbsSyntax.hswith fix15 years ago Compiler.hsAdd FalseElim as a primitive15 years ago Delaborate.hsBetter elaboration order; also changed instance argument syntax slightly15 years ago ElabDecls.hswith fix15 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.hsType declarations of the form (x,y,z : A) -> B15 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.hswith fix15 years ago REPLParser.hsAdd mechanism for simplification and function options15 years ago