contribs/A few changes:15 years ago impl-paper/Minor paper changes15 years ago lib/Change precedence of ++ to be higher than ::15 years ago samples/Remove Eq constraint from Num15 years ago src/Add effect_ annotations for better IO behaviour15 years ago test/More on errors; propagate line numbers15 years ago tutorial/More paper changes15 years ago .gitignoreNew .gitignore for Cabal's directory and .ibc files.15 years ago CHANGELOGWork on implementation paper; tutorial fixes15 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.cabalUtil.Pretty missing15 years ago