impl-paper/Added %hide and %freeze directives15 years ago lib/Remove semicolons in tutorial15 years ago samples/Removed need for terminating ; A declaration is now considered terminated on encountering a token in the same column as the declaration began - or on encountering a semicolon. Libraries and some tests updated.15 years ago src/Remove semicolons in tutorial15 years ago test/Removed semicolons from tests15 years ago tutorial/Remove semicolons in tutorial15 years ago CHANGELOGMonad comprehension example15 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.cabalAdded lib/network directory, and network.cgi module15 years ago