../ 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.hsImprove :t for names with implicit args15 years ago REPLParser.hsAdd mechanism for simplification and function options15 years ago