contribs/More platform agnostic now14 years ago iif/Change TRACE mode to use -O214 years ago js/javascript: better print function14 years ago lib/Add a reducing version of believe_me (be careful!)14 years ago papers/Add a reducing version of believe_me (be careful!)14 years ago rts/Improve case compilation by checking most distinct argument first14 years ago samples/Minor parser fixes; added binary sample14 years ago src/javascript: check for keywords as identifiers14 years ago support/Don't build thread support (because it doesn't work...)14 years ago test/Changed approach to unification Instead of failing immediately, maintain a list of blocked problems and refine during elaboration.14 years ago tutorial/Changed approach to unification Instead of failing immediately, maintain a list of blocked problems and refine during elaboration.14 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 CHANGELOGjavascript: got rid of --javascript use --target14 years ago CONTRIBUTORSAdded CONTRIBUTORS file. Feel free to edit :).14 years ago LICENSE MakefileRefactor the makefile so that all the pertinent variables are in config.mk14 years ago READMEAdd a note about editing config.mk14 years ago Setup.hsMore platform agnostic now14 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.cabaljavascript: move runtime into own js file14 years ago