../ AbsSyntax.hsMake do notation use Monad class15 years ago Compiler.hsMake do notation use Monad class15 years ago Delaborate.hsBetter elaboration order; also changed instance argument syntax slightly15 years ago ElabDecls.hsFix previous fix ;)15 years ago Error.hs:r and :e at the REPL.15 years ago Imports.hsNot really mini any more...15 years ago Parser.hsElaborating instance declarations15 years ago Primitives.hsPrimitive conversion and showing15 years ago Prover.hsType class instance resolution, and some Num overloading15 years ago REPL.hsNot really mini any more...15 years ago REPLParser.hs:r and :e at the REPL.15 years ago