contribs/A few changes:15 years ago impl-paper/Missing .tex files15 years ago lib/Added infinite list syntax [1..], [1,3,...] etc (But it doesn't work at the REPL yet because that doesn't respect 'lazy' annotations properly)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/%obj should be %link in tutorial15 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