contribs/vim: added tactics block14 years ago effects/Change argument order for mkStrFn14 years ago iif/Change TRACE mode to use -O214 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/Fix samples to use Type instead of Set14 years ago src/Check the type of a proof matches the type of the goal!14 years ago support/Don't build thread support (because it doesn't work...)14 years ago test/Added effects package and associated tests14 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.cabalUpdate version number to 0.9.714 years ago