impl-paper/Added some serialisation15 years ago lib/More library functions, and a fix for building auxiliary with functions15 years ago samples/Correct test00415 years ago src/More library functions, and a fix for building auxiliary with functions15 years ago test/Fix obscure where naming bug15 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