contribs/Merge branch 'master' of https://github.com/raichoo/Idris-dev14 years ago iif/Change TRACE mode to use -O214 years ago lib/Add size change termination Now deals with recursive functions (still only simple structural size changes spotted, however)14 years ago papers/Created papers directory14 years ago rts/Add Proj operator to runtime version of TT Allows extracting arguments without checking constructor first which will make erasing unused values easier shortly14 years ago samples/Minor parser fixes; added binary sample14 years ago src/Use strict StateT14 years ago support/Don't build thread support (because it doesn't work...)14 years ago test/Deal with higher order recursive arguments in size change graphs14 years ago tutorial/Merge branch 'master' of https://github.com/raichoo/Idris-dev14 years ago .gitignoreadd vim temp files and cabal-dev directory to git ignore14 years ago CHANGELOGAdded "codata" Constructors of coinductive types evaluate arguments lazily. Corecursive functions do not reduce at compile time.14 years ago LICENSEFix LICENSE15 years ago MakefileAdded "codata" Constructors of coinductive types evaluate arguments lazily. Corecursive functions do not reduce at compile time.14 years ago READMEUpdate .cabal and README15 years ago Setup.hsFirst baby steps towards a new RTS (and towards removing epic dependency)14 years ago git-credential-osxkeychainerror handling14 years ago idris.cabalUse strict StateT14 years ago