../ AbsSyntax.hsNamespaces15 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.hsNamespaces15 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 'module' keyword to declare default namespace. 'main' must be in namespace 'main'15 years ago Primitives.hsSeparate elaboration of declarations and terms15 years ago Prover.hsChanged lookup to return a list (preparation for namespaces)15 years ago REPL.hsChanged lookup to return a list (preparation for namespaces)15 years ago REPLParser.hsCollect cumulativity constraints on universes15 years ago