contribs/Merge branch 'master' of https://github.com/raichoo/Idris-dev14 years ago iif/Change TRACE mode to use -O214 years ago lib/Added raw (non-typesafe) message passing library (System.Concurrency.Raw)14 years ago papers/Created papers directory14 years ago rts/fix compile warning on gcc 7.2.114 years ago samples/Minor parser fixes; added binary sample14 years ago src/More restrictive automated addition of implicit arguments Only added automatically if they begin with a lower case letter, or appear in a using block. Apologies for breaking code: however, this catches a common class of error which causes confusing (but co…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 CHANGELOGAllow 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 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