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/Add inductive integers14 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/Missing case in Idris.Parser14 years ago support/Don't build thread support (because it doesn't work...)14 years ago test/Backend support for Java14 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 CONTRIBUTORSAdded CONTRIBUTORS file. Feel free to edit :).14 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.cabalBackend support for Java14 years ago