../ AbsSyntax.hsElaborating instance declarations15 years ago Compiler.hsLaziness annotations15 years ago Delaborate.hsBetter elaboration order; also changed instance argument syntax slightly15 years ago ElabDecls.hsMake sure patterns are in dependency order15 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