git.iko.soy/Idris-dev
on master help sign in
history of717e854..master
compare
13449b5Restrict System.usleep intervalSaurabh Rawat 617f8a8change export rules for moduleVyacheslav Shebanov 01aff97Fix names in generating missing casesEdwin Brady ea88b5eBetter choice of pattern to inspect in coverageEdwin Brady 7c95173Undo more liberal choice of forced argumentsEdwin Brady dd231d2Fix mistake in Data.hsEdwin Brady fe68986Coverage checker fixEdwin Brady 3a881e6Fix whnfArgs naming errorEdwin Brady 4d574b9Merge pull request #3533 from jfdm/make-mkpkg-more-robustJan de Muijnck-Hughes f6f52f3Made Mac OS X package generatation more robust.Jan de Muijnck-Hughes 68f850aMerge pull request #3531 from jfdm/fix-contributors-fileJan de Muijnck-Hughes 9921833Update version in CHANGELOGEdwin Brady 4a54ee7Version increment to 0.99v0.99Edwin Brady 25eea96'compute' rather than whnf on disambiguationEdwin Brady 8dc243fMore WHNF in Elab.TermEdwin Brady 7818396Don't whnf binder typesEdwin Brady d0671a3Use WHNF in a few placesEdwin Brady 3612623More WHNF editsEdwin Brady b0130d6Add whnfArgsEdwin Brady b28f12bWHNF takes an environmentEdwin Brady c42e7f8Merge pull request #3530 from jfdm/fix-man-page-formattingJan de Muijnck-Hughes 908053dUpdated CONTRIBUTORS to reflect actual contributors.Jan de Muijnck-Hughes a2cb1e2Fixed formatting of man page.Jan de Muijnck-Hughes 61d5865New coverage checkerEdwin Brady ed6c0ffMerge pull request #3265 from crough/test-exitcodeJan de Muijnck-Hughes 2c0be60Merge pull request #3528 from jfdm/tidy-travisJan de Muijnck-Hughes 800af28Slight tidy of travis config.Jan de Muijnck-Hughes f6cd836Always run all tests, and exit 1 if any failJames Alexander Feldman-Crough 6d9659cMerge remote-tracking branch 'origin/master' into stylish-travisEcho Nolan 0fec73cFix typo, make stylize.sh work when a dist directory existsEcho Nolan 7ac40afStylish changes since this PR was originally submittedEcho Nolan a6f2eb7Make it possible to run stylish script from makeEcho Nolan f8e3df0Rename check-stylish.sh and make it a bit more user friendly.Echo Nolan aea713dUse Stack to build stylish-haskell in CIEcho Nolan cacab43Formatting in Idris.Parser.ExprEcho Nolan e7e9a7fConvert tabs to spaces in stylishEcho Nolan 25c94dfStylize TravisEcho Nolan b5d05d6Stylize Idris.Parser.ExprEcho Nolan 3fc435fTurn on some LANGUAGE pragmas to make stylish-haskell happy.Echo Nolan