contribs/Added a large chunk of theory over lists, most of it taken from the Haskell prelude and the O'Caml standard library.15 years ago impl-paper/Added %hide and %freeze directives15 years ago lib/More additions to natural numbers theory.15 years ago samples/Idiom brackets and dsl notation in tutorial15 years ago src/Improved termination check (gets ackermann now, but still no mutual recursive definitions)15 years ago test/Improved termination check (gets ackermann now, but still no mutual recursive definitions)15 years ago tutorial/Some re-ordering of the tutorial15 years ago .gitignoreNew .gitignore for Cabal's directory and .ibc files.15 years ago CHANGELOGSome re-ordering of the tutorial15 years ago LICENSEFix LICENSE15 years ago MakefileUnreachable case warning15 years ago READMEUpdate .cabal and README15 years ago Setup.hsUpdate to Setup,hs (via Dirk Ullrich)15 years ago idris.cabalError message tinker15 years ago