contribs/A few changes:15 years ago impl-paper/Pass pattern variable names to match compiler15 years ago lib/Add mkLazyForeign primitive15 years ago samples/Remove Eq constraint from Num15 years ago src/Remove 'prefix' keyword14 years ago support/Add mkLazyForeign primitive15 years ago test/Check patterns are inaccessible15 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.hsUndo Setup.hs change15 years ago idris.cabalAdded support/ directory so that library can use C support files15 years ago