contribs/More platform agnostic now14 years ago iif/Change TRACE mode to use -O214 years ago js/javascript: better print function14 years ago lib/Small library tweaks and documentation update14 years ago papers/Magic with explanation in impl-paper14 years ago rts/Improve case compilation by checking most distinct argument first14 years ago samples/Minor parser fixes; added binary sample14 years ago src/Manually track prover history14 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/Small library tweaks and documentation update14 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