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/Small library tweaks and documentation update14 years ago papers/Remove old code, tinker with section 414 years ago rts/Improve case compilation by checking most distinct argument first14 years ago samples/Fix samples to use Type instead of Set14 years ago src/Merge pull request #176 from david-christiansen/completion14 years ago support/Don't build thread support (because it doesn't work...)14 years ago test/More sane scoping rules for where/type classes Parameters in the type signature get propagated, indices do not. So you no longer need to pass parameters explicitly if you need them in a where clause, and you no longer need to give explicitly typed helpers …14 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 CHANGELOGDistinguish parameters and indices internally in data types This doesn't do anything, yet, but will become important soon!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.cabaljavascript: move runtime into own js file14 years ago