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/Changed record update syntax... ...since {} is too overloaded now record { field = val } rec Also put records in their own namespace15 years ago samples/Tidy up interpreter sample15 years ago src/Changed record update syntax... ...since {} is too overloaded now record { field = val } rec Also put records in their own namespace15 years ago test/Fix library compilation errors and improve name resolution in patterns15 years ago tutorial/Document auto implicits15 years ago .gitignoreNew .gitignore for Cabal's directory and .ibc files.15 years ago CHANGELOGRecord projection15 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