contribs/A few changes:15 years ago impl-paper/Missing .tex files15 years ago lib/Take and drop ported from list library to vectors. Function catMaybes causes Idris to diverge upon type checking in the REPL.15 years ago samples/Idiom brackets and dsl notation in tutorial15 years ago src/Parse rule for big integers is broken15 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 CHANGELOGParse rule for big integers is broken15 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.cabalFix let overloading bug with do blocks15 years ago