contribs/Remove files that shouldn't be in the repo14 years ago effects/Add updateM to State effect14 years ago iif/Change TRACE mode to use -O214 years ago java/Backend support for Java14 years ago js/javascript: extracted common runtime14 years ago lib/Fix error with linearity checking in patterns14 years ago papers/Revision of impl-paper completed.14 years ago rts/Fix condition in allocate.14 years ago samples/Backend support for Java14 years ago src/Fix name disambiguation bug in pruneByType by normalising types14 years ago support/Don't build thread support (because it doesn't work...)14 years ago test/Fix error with linearity checking in patterns14 years ago tutorial/Minor tutorial updates14 years ago .gitattributestypo fix in git attributes, adding test results to gitignore14 years ago .gitignoreIgnore windows test binaries14 years ago .travis.ymltravisci: run test suite14 years ago CHANGELOGRemove Threading effect (on account of it not working :))14 years ago CONTRIBUTORSunify help and completion of REPL - previously they were not in sync, now it is one lookup table14 years ago LICENSE MakefileAdded effects package and associated tests14 years ago READMEAdded testing instructions to README14 years ago Setup.hsAdded effects package and associated tests14 years ago config.mkRefactor the makefile so that all the pertinent variables are in config.mk14 years ago idris.cabalunify help and completion of REPL - previously they were not in sync, now it is one lookup table14 years ago