impl-paper/Added some serialisation15 years ago lib/More concise 'with' syntax if patterns are repeated from previous line15 years ago samples/Correct test00415 years ago src/More concise 'with' syntax if patterns are repeated from previous line15 years ago test/More in test003; requires latex epic fix15 years ago tutorial/More string and char primitives15 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