contribs/vim: added postulate to highlighter14 years ago iif/Change TRACE mode to use -O214 years ago lib/Add 'mod' and variants14 years ago papers/Created papers directory14 years ago rts/Add 'mod' and variants14 years ago samples/Minor parser fixes; added binary sample14 years ago src/Merge branch 'master' of https://github.com/edwinb/Idris-dev into windows14 years ago support/Don't build thread support (because it doesn't work...)14 years ago test/Normalise LHS before compilation ...otherwise in some situations the forcing optimisation may lead to uncompilable code14 years ago tutorial/Fix tutorial typo14 years ago .gitattributestypo fix in git attributes, adding test results to gitignore14 years ago .gitignoretypo fix in git attributes, adding test results to gitignore14 years ago .travis.ymltravisci: run test suite14 years ago CHANGELOGBring CHANGELOG up to date14 years ago LICENSEFix LICENSE15 years ago 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.hsAdding support for Windows MingW3214 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.cabalAdding support for Windows MingW3214 years ago