contribs/Merge branch 'master' of https://github.com/raichoo/Idris-dev14 years ago iif/Change TRACE mode to use -O214 years ago lib/fixed monad module (uppercase)14 years ago papers/Created papers directory14 years ago rts/Message passing fixes; also abstract SETTY/GETTY in rts14 years ago samples/Minor parser fixes; added binary sample14 years ago src/Message passing fixes; also abstract SETTY/GETTY in rts14 years ago support/Don't build thread support (because it doesn't work...)14 years ago test/Totality checker improvements Now does a better job of checking type class instances for totality, by inlining dictionaries where possible. Added %default total declarations to some libraries where possible14 years ago tutorial/Minor tutorial updates14 years ago .gitignoreadd vim temp files and cabal-dev directory to git ignore14 years ago .travis.ymlAdd travis.yml file14 years ago CHANGELOGDocument --warnpartial Behaviour fixed so that it doesn't report declared partial functions14 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.cabalNo need to store original patterns14 years ago