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/added Eq typeclass for Maybe14 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/Documentation comment additions14 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 MakefileBuild Haddock and Hoogle files14 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 Decidable directory to idris.cabal14 years ago