../ AbsSyntax.hsSome file handling15 years ago Compiler.hsSome file handling15 years ago Coverage.hsAdded 'impossible' keyword15 years ago Delaborate.hsAdded support for literate programming with bird tracks (use .lidr extension)15 years ago ElabDecls.hsGenerate bytecode so that files don't need to be rechecked every time they're loaded15 years ago ElabTerm.hsFiddle with elaborator; update interp sample and test15 years ago Error.hsDon't write .ibc on error; add new test15 years ago IBC.hsAdded support for literate programming with bird tracks (use .lidr extension)15 years ago Imports.hsAdded support for literate programming with bird tracks (use .lidr extension)15 years ago Parser.hsAdded support for literate programming with bird tracks (use .lidr extension)15 years ago Primitives.hsAdd some string primitives (may need latest Epic)15 years ago Prover.hsAdd :a comment, to add most recent proof script to source file15 years ago REPL.hsDon't write .ibc on error; add new test15 years ago REPLParser.hsAdd :a comment, to add most recent proof script to source file15 years ago Unlit.hsAdded support for literate programming with bird tracks (use .lidr extension)15 years ago