contribs/Remove files that shouldn't be in the repo14 years ago effects/Rename EFF to EFFECT (for more consistent naming rules)14 years ago iif/Change TRACE mode to use -O214 years ago java/Proper executable and object file creation via maven + need for run_java tests removed14 years ago js/javascript: extracted common runtime14 years ago lib/added forgotten LStrLen primitive and length function for String14 years ago papers/Revision of impl-paper completed.14 years ago rts/A bit more detailed rts stats.14 years ago samples/Backend support for Java14 years ago src/Added rewrite ... in ... construct rewrite prf in v rewrites the goal type using prf. It is equivalent to applying replace, without the need to provide a predicate. It works by applying the rewrite tactic with prf before elaborating v.14 years ago support/Don't build thread support (because it doesn't work...)14 years ago test/Added rewrite ... in ... construct rewrite prf in v rewrites the goal type using prf. It is equivalent to applying replace, without the need to provide a predicate. It works by applying the rewrite tactic with prf before elaborating v.14 years ago tutorial/Merge branch 'AddMissingStrLen' of https://github.com/JanBessai/Idris-dev into JanBessai-AddMissingStrLen14 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 CHANGELOGImproved type-directed name disambiguation14 years ago CONTRIBUTORSunify help and completion of REPL - previously they were not in sync, now it is one lookup table14 years ago LICENSE MakefileAdded compile flag support to deactivate creation of the java backend14 years ago READMEAdded testing instructions to README14 years ago Setup.hsChange NoJava flag to Java, and make no java back end the default14 years ago config.mkMake no java default compilation method14 years ago idris.cabalChange NoJava flag to Java, and make no java back end the default14 years ago