contribs/A few changes:15 years ago impl-paper/Added unelaboration definition15 years ago lib/Install support headers; allow arbitrary types in foreign calls15 years ago samples/Remove Eq constraint from Num15 years ago src/Install support headers; allow arbitrary types in foreign calls15 years ago support/Install support headers; allow arbitrary types in foreign calls15 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.hsAdded support/ directory so that library can use C support files15 years ago idris.cabalAdded support/ directory so that library can use C support files15 years ago