../ AbsSyntax.hsDefault definitions in classes, plus some bug fixing15 years ago Compiler.hsAdded 'module' keyword to declare default namespace. 'main' must be in namespace 'main'15 years ago Delaborate.hsNamespaces15 years ago ElabDecls.hsDefault definitions in classes, plus some bug fixing15 years ago ElabTerm.hsDefault definitions in classes, plus some bug fixing15 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.hsHierarchical namespaces; reorganised prelude accordingly15 years ago Primitives.hsSeparate elaboration of declarations and terms15 years ago Prover.hsAdd :a comment, to add most recent proof script to source file15 years ago REPL.hsHierarchical namespaces; reorganised prelude accordingly15 years ago REPLParser.hsAdd :a comment, to add most recent proof script to source file15 years ago