contribs/A few changes:15 years ago impl-paper/Missing .tex files15 years ago lib/Added malloc and trace_malloc *** This will need the latest EpiVM ***15 years ago samples/Update dependencies and correct examples15 years ago src/Major improvement to pretty printing of proof states, especially when the goal is a large term.15 years ago test/More on errors; propagate line numbers15 years ago tutorial/Update dependencies and correct examples15 years ago .gitignoreNew .gitignore for Cabal's directory and .ibc files.15 years ago CHANGELOGUpdate dependencies and correct examples15 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.cabalGot pretty printing partially working using the Pretty type class as a replacement for Show. Now need to tweak it in order to make everything look nice, and to get terms printing correctly!15 years ago