../ AbsSyntax.hsQuick hack at :info for exploring type classes15 years ago Compiler.hsAdded malloc and trace_malloc *** This will need the latest EpiVM ***15 years ago Coverage.hsRemove some unused code15 years ago DSL.hsFix let overloading bug with do 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.hsFix bug with de-elaboration of sigma types15 years ago ElabDecls.hsNormalise types before applying forcing15 years ago ElabTerm.hsAttempt to resolve type classes before application15 years ago Error.hsCheck definitions structurally as well as by name in conversion15 years ago IBC.hsAdd --ibcsubdir option (thanks to Dirk Ullrich)15 years ago Imports.hsAdd --ibcsubdir option (thanks to Dirk Ullrich)15 years ago Parser.hsAdd --ibcsubdir option (thanks to Dirk Ullrich)15 years ago Primitives.hsAdded prim__bigIntToInt (needs latest EpiVM)15 years ago Prover.hsSome playing around with widths to make everything look nicer.15 years ago REPL.hsAn introduction15 years ago REPLParser.hsQuick hack at :info for exploring type classes15 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