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/Remove misplaced instance14 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/Reformat existing comments for Haddock and add Haddock comments14 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 READMEAdded testing instructions to README14 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