contribs/More platform agnostic now14 years ago iif/Change TRACE mode to use -O214 years ago lib/Merge pull request #114 from raichoo/word14 years ago papers/More platform agnostic now14 years ago rts/Improve evaluation of projection By caching result of evaluation, so that it's already evaluated when next projection happens.14 years ago samples/Minor parser fixes; added binary sample14 years ago src/Merge pull request #114 from raichoo/word14 years ago support/Don't build thread support (because it doesn't work...)14 years ago test/Fully compiles and tests under windows mingw3214 years ago tutorial/Tutorial updates Note on local type inference in 'where', and 'mutual' blocks.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 CHANGELOGFix argument names in generated types for where blocks14 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.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.cabalAdded the ability to dump bytecode to a file14 years ago