impl-paper/Added %hide and %freeze directives15 years ago lib/Some more tutorial adapted from old version15 years ago samples/Correct test00415 years ago src/Arbitrary length tuples (reducing to nested pairs)15 years ago test/Fix obscure where naming bug15 years ago tutorial/Some more tutorial adapted from old version15 years ago CHANGELOGSome more tutorial adapted from old version15 years ago LICENSEFix LICENSE15 years ago MakefileCorrect test00415 years ago READMEUpdate .cabal and README15 years ago Setup.hsGet cabal to check library after install15 years ago idris.cabalGet cabal to check library after install15 years ago