.github/add #1240 to issue template10 years ago bench/Check in old benchmark files so we can race 0.15 and 0.1611 years ago hints/Fix #1517, make it read smoother without comment10 years ago src/Got rid of NextDecl concept, subsumed by BadSpace theories10 years ago tests/Improve code that extracts code from source in errors10 years ago .gitignoreClear out current benchmarks for a more targeted benchmark suite11 years ago .gitmodules .travis.ymlJust put the -O0 flag directly on the test suite11 years ago ContributorAgreement.pdf How to Request Features.md LICENSEBump year in license11 years ago README.mdMake travis badge only report status of master branch11 years ago Setup.hsMake some changes based on new .travis.yaml script11 years ago changelog.mdFormat links a bit more11 years ago elm-compiler.cabalGet parser for GLSL blocks working again10 years ago