impl-paper/Added %hide and %freeze directives15 years ago lib/Add nullPtr/validFile15 years ago samples/Run-time forcing optimisation15 years ago src/Record data type info15 years ago test/Making IO lazy means we need to force an evaluation for anything to happen at all...15 years ago tutorial/Some prelude shuffling15 years ago CHANGELOGDebraced tutorial15 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.cabalImplemented forcing optimisation Constructor arguments which are inferrable from the indices in the constructor type are erased both at compile-time and run-time15 years ago