contribs/A few changes:15 years ago impl-paper/Added %hide and %freeze directives15 years ago lib/Fix to get the nat.idr file working correctly. Some sort of bug or misunderstanding in how infix operators are being exported from the algebra.idr file.15 years ago samples/Idiom brackets and dsl notation in tutorial15 years ago src/Better way of pruning type class search15 years ago test/More on errors; propagate line numbers15 years ago tutorial/%obj should be %link in tutorial15 years ago .gitignoreNew .gitignore for Cabal's directory and .ibc files.15 years ago CHANGELOGChase type classes for longer15 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.cabalFix let overloading bug with do blocks15 years ago