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/Eq Nat fix15 years ago samples/Idiom brackets and dsl notation in tutorial15 years ago src/More on errors; propagate line numbers15 years ago test/More on errors; propagate line numbers15 years ago tutorial/More on errors; propagate line numbers15 years ago .gitignoreNew .gitignore for Cabal's directory and .ibc files.15 years ago CHANGELOGFix silly error in termination checker :)15 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