contribs/A few changes:15 years ago impl-paper/Missing .tex files15 years ago lib/made some instances of complex numbers.15 years ago samples/Idiom brackets and dsl notation in tutorial15 years ago src/Evaluator tinkering15 years ago test/More on errors; propagate line numbers15 years ago tutorial/made TOC in tutorial clickable but still without color15 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