../ AbsSyntax.hsSome file handling15 years ago Compiler.hsAdded prelude.strings, made believe_me primitive15 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.hsGet cabal to check library after install15 years ago Imports.hsAdded support for literate programming with bird tracks (use .lidr extension)15 years ago Parser.hsAdded prelude.strings, made believe_me primitive15 years ago Primitives.hsAdded prelude.strings, made believe_me primitive15 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