contribs/vim: added dsl notation14 years ago effects/Change argument order for mkStrFn14 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/Added first steps in type providers14 years ago papers/Revision of impl-paper completed.14 years ago rts/Some RTS functions to help with allocation in foreign functions14 years ago samples/Backend support for Java14 years ago src/unify help and completion of REPL - previously they were not in sync, now it is one lookup table14 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 git-credential-osxkeychainerror handling14 years ago idris.cabalunify help and completion of REPL - previously they were not in sync, now it is one lookup table14 years ago