contribs/A few changes:15 years ago impl-paper/Missing .tex files15 years ago lib/Remove Eq constraint from Num15 years ago samples/Remove Eq constraint from Num15 years ago src/A small cleanup after missing some stray ends in the diff.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.cabalMerge branches 'improved-pretty-printing' and 'master'15 years ago