../ AbsSyntax.hsadded dsl blocks15 years ago Compiler.hsSome minor fiddling15 years ago Coverage.hsCoverage checker Not quite complete - a bug (which I know how to fix) makes some things appear not covering even though they are. Results currently used only for pruning case trees in compiled code. There is a small performance penalty - coverage checking …15 years ago DSL.hsadded dsl blocks15 years ago DataOpts.hsCoverage checker Not quite complete - a bug (which I know how to fix) makes some things appear not covering even though they are. Results currently used only for pruning case trees in compiled code. There is a small performance penalty - coverage checking …15 years ago Delaborate.hsBetter error reporting for unresolved type classes15 years ago ElabDecls.hsadded dsl blocks15 years ago ElabTerm.hsadded dsl blocks15 years ago Error.hsFix error handling again in repl15 years ago IBC.hsadded dsl blocks15 years ago Imports.hsAdded support for literate programming with bird tracks (use .lidr extension)15 years ago Parser.hsadded dsl blocks15 years ago Primitives.hsA load of primitives and library stuff15 years ago Prover.hsAdded 'abandon' command in proof mode (Alternatively, :q)15 years ago REPL.hs:addproof knows about .lidr files15 years ago REPLParser.hsRun-time forcing optimisation15 years ago Transforms.hsAdd Transform module; make implicit args lazy15 years ago Unlit.hsRemoved need for terminating ; A declaration is now considered terminated on encountering a token in the same column as the declaration began - or on encountering a semicolon. Libraries and some tests updated.15 years ago