impl-paper/Added %hide and %freeze directives15 years ago lib/Tinkered with syntax rules section in tutorial15 years ago samples/Correct test00415 years ago src/Pattern matching lambda, plus tutorial update15 years ago test/Added case and pattern matching let bindings Also pattern matching bind in do notation case notation currently has limitations: - only works on simple types (each pattern must have the same type, more specifically) - return type needs to be known a…15 years ago tutorial/Pattern matching lambda, plus tutorial update15 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