../ AbsSyntax.hsAdded log/exp (and lib/link directives)15 years ago Compiler.hsAdded log/exp (and lib/link directives)15 years ago Delaborate.hsBetter elaboration order; also changed instance argument syntax slightly15 years ago ElabDecls.hsAdded log/exp (and lib/link directives)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 log/exp (and lib/link directives)15 years ago Primitives.hsAdded log/exp (and lib/link directives)15 years ago Prover.hsAdd mechanism for simplification and function options15 years ago REPL.hsAdd mechanism for simplification and function options15 years ago REPLParser.hsAdd mechanism for simplification and function options15 years ago