contribs/A few changes:15 years ago impl-paper/Missing .tex files15 years ago lib/Test commit after hosing my local copy of the repository through fiddling with git and reverts. Starting on a correctness proof of the heap implementation. Type checking now much faster.15 years ago samples/Make compile time evaluator take advantage of laziness again (And update test001 to catch it if it goes wrong again)15 years ago src/Started adding pretty-printing capabilities for core datatypes to improve rendering of proof state.15 years ago test/More on errors; propagate line numbers15 years ago tutorial/Tutorial updates15 years ago .gitignoreNew .gitignore for Cabal's directory and .ibc files.15 years ago CHANGELOGAdded backtick notation: e.g. x xs15 years ago LICENSEFix LICENSE15 years ago MakefileUnreachable case warning15 years ago READMEUpdate .cabal and README15 years ago Setup.hsRewrite cabal config to be distribution friendly.15 years ago idris.cabalAdded prim__bigIntToInt (needs latest EpiVM)15 years ago