../ AbsSyntax.hsAdded tactics construct, and tactic sequencing/choice15 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.hsAdd fromInteger to Nat class; allow type labels on let15 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.hsAdd fromInteger to Nat class; allow type labels on let15 years ago Primitives.hsInt/Float conversion primitives15 years ago Prover.hsAdd mechanism for simplification and function options15 years ago REPL.hsLogging options15 years ago REPLParser.hsAdd mechanism for simplification and function options15 years ago