contribs/More platform agnostic now14 years ago iif/Change TRACE mode to use -O214 years ago js/javascript: added required decl for browsers14 years ago lib/Speed up termination checker Lots of duplication of work was happening, both ignoring functions that were already known to be total, and repeating checks when arguments not decreasing, now pruned.14 years ago papers/Revision of impl-paper completed.14 years ago rts/Quash warning on C bitstring comparators14 years ago samples/Fix samples to use Type instead of Set14 years ago src/Merge branch 'bitstring' of https://github.com/bitlisp/Idris-dev into bitlisp-bitstring14 years ago support/Don't build thread support (because it doesn't work...)14 years ago test/Fix error in conversion check Fixes issue #18714 years ago tutorial/Error handling interpreter needs Functor instance (via bishboria)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 CHANGELOGFix error in conversion check Fixes issue #18714 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.cabalUpdate version to 0.9.6.114 years ago