contribs/vim: added implicit and static annotations14 years ago iif/Change TRACE mode to use -O214 years ago js/javascript: extracted common runtime14 years ago lib/Merge branch 'javascript' of https://github.com/raichoo/Idris-dev into raichoo-javascript14 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/Only apply unique implicit conversions (and add test)14 years ago support/Don't build thread support (because it doesn't work...)14 years ago test/Only apply unique implicit conversions (and add test)14 years ago tutorial/Update tutorial14 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 CHANGELOGAdded 'implicit' conversions implicit f : a -> b Then, when a function needs a 'b' but has an 'a', f will be called implicitly. This is probably scary and fragile. Use with extreme caution!14 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.cabalAdd missing modules to idris.cabal14 years ago