../ AbsSyntax.hsnamesIn should look for *all* names15 years ago Compiler.hsAdd FalseElim as a primitive15 years ago Delaborate.hsBetter elaboration order; also changed instance argument syntax slightly15 years ago ElabDecls.hsGive pi bindings unique 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.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.hsCtrl-D now quits repl15 years ago REPLParser.hsAdd mechanism for simplification and function options15 years ago