contribs/SimpleParser: improving performance so it is usefull for real world stuff13 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 js/javascript: refactored tailcalls13 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/Refactored the build inside Setup.hs and the various Makefiles.13 years ago samples/Fix Vect arguments in samples/13 years ago src/Allow records in mutual blocks13 years ago support/ test/runtest.pl revised and cleaned up13 years ago tutorial/Give a bit more context for error messages13 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.cabalFixed Trifecta version to 1.1 until future versions work again13 years ago