../ AbsSyntax.hsAdd :a comment, to add most recent proof script to source file15 years ago Compiler.hsAdded 'module' keyword to declare default namespace. 'main' must be in namespace 'main'15 years ago Delaborate.hsNamespaces15 years ago ElabDecls.hsNamespaces15 years ago ElabTerm.hsDon't search for type class instances we'll never solve - also allow default Int for Num15 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