impl-paper/Added some serialisation15 years ago lib/Fixed a 'with' bug; added char and span for Strings15 years ago samples/Correct test00415 years ago src/Fixed a 'with' bug; added char and span for Strings15 years ago test/More in test003; requires latex epic fix15 years ago tutorial/Error message in tutorial15 years ago CHANGELOGAdded system module (getArgs, getEnv, exit)15 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