contribs/remove vim files from contrib in favor of idris-hackers repo13 years ago effects/Another minor efficiency gain in elaborator13 years ago iif/ java/Reverting the change to the POM template and removing the templating/clenup logic for the Java backend.13 years ago javascript/Refactored the build inside Setup.hs and the various Makefiles.13 years ago jsrts/javascript: switch to jsbn13 years ago lib/Make the parentheses around a with-rule scrutinee mandatory13 years ago llvm/Refactored the build inside Setup.hs and the various Makefiles.13 years ago papers/Finished proof-reading implementation paper13 years ago rts/Fix segfault in MKSTR13 years ago samples/Fix Vect arguments in samples/13 years ago src/javascript: reduce more functions13 years ago support/ test/runtest.pl revised and cleaned up13 years ago tutorial/tutorial: update interactive proof13 years ago .gitattributes .gitignoreIgnore Mac OS X .DS_Store files13 years ago .travis.yml(Temporarily) remove java tests from travis13 years ago CHANGELOGMerge pull request #479 from david-christiansen/repl-persistent-history13 years ago CONTRIBUTORSUpdate CONTRIBUTORS and CHANGELOG13 years ago LICENSE MakefileAllow tests to be parallelized13 years ago READMEAdded note about wiki to README13 years ago Setup.hsReverting the change to the POM template and removing the templating/clenup logic for the Java backend.13 years ago config.mkTake CFLAGS from environment in Makefiles13 years ago idris.cabaljavascript: switch to jsbn13 years ago