contribs/Merge branch 'master' of https://github.com/raichoo/Idris-dev14 years ago iif/Change TRACE mode to use -O214 years ago lib/'par' primitive in builtins (not yet implemented)14 years ago papers/Created papers directory14 years ago rts/'par' primitive in builtins (not yet implemented)14 years ago samples/Minor parser fixes; added binary sample14 years ago src/'par' primitive in builtins (not yet implemented)14 years ago support/Don't build thread support (because it doesn't work...)14 years ago test/Allow forward declaration of data structures To support induction-recursion and mutual data definitions Syntax is as a normal data declaration, but without the 'where' or '=' sections14 years ago tutorial/Minor tutorial updates14 years ago .gitignoreadd vim temp files and cabal-dev directory to git ignore14 years ago .travis.ymltravisci: run test suite14 years ago CHANGELOGAdded 'mutual' blocks Effect is to elaborate all types in the block before elaborating definitions14 years ago LICENSEFix LICENSE15 years ago MakefileRefactor the makefile so that all the pertinent variables are in config.mk14 years ago READMEAdd a note about editing config.mk14 years ago Setup.hsFirst baby steps towards a new RTS (and towards removing epic dependency)14 years ago config.mkRefactor the makefile so that all the pertinent variables are in config.mk14 years ago git-credential-osxkeychainerror handling14 years ago idris.cabalNo need to store original patterns14 years ago