impl-paper/Added %hide and %freeze directives15 years ago lib/Added '%access' directive and updated libs15 years ago samples/Correct test00415 years ago src/Added '%access' directive and updated libs15 years ago test/Fix obscure where naming bug15 years ago tutorial/Added %hide and %freeze directives15 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