{"push_id":643791420,"size":204,"distinct_size":203,"ref":"refs/heads/master","head":"2a4b4a767041c41d8aad5ac57130bc1667df8296","before":"ed99f386448be56e1cee1c8cb7177d347609b8c2","commits":[{"sha":"663b6709761ad8d41b53ed63ea854a152be56042","author":{"email":"12e9293ec6b30c7fa8a0926af42807e929c1684f@octarineparrot.com","name":"Robert Clipsham"},"message":"Add `until` function to prelude.","distinct":true,"url":"https://api.github.com/repos/treeowl/Idris-dev/commits/663b6709761ad8d41b53ed63ea854a152be56042"},{"sha":"6d188c4fee4ca4de53240e492ce234a49c029a41","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Begin to use a sum type for post-elab IState tweaks","distinct":true,"url":"https://api.github.com/repos/treeowl/Idris-dev/commits/6d188c4fee4ca4de53240e492ce234a49c029a41"},{"sha":"d36f5826eca7a0c4bc04654c59fdc892867fa7b4","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Move comment about error reflection back home","distinct":true,"url":"https://api.github.com/repos/treeowl/Idris-dev/commits/d36f5826eca7a0c4bc04654c59fdc892867fa7b4"},{"sha":"cfd6dbc5cb0f8743063f532ce3280b1d2e9757e9","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Start of defining functions in Tactical","distinct":true,"url":"https://api.github.com/repos/treeowl/Idris-dev/commits/cfd6dbc5cb0f8743063f532ce3280b1d2e9757e9"},{"sha":"465cc1c0c1de75cefd65dc4dec1d382a82e9f370","author":{"email":"c3d6db46cba116cdc4c2ea85e02ad05dacad566f@canndrew.org","name":"Andrew Cann"},"message":"Make `div` and `mod` functions partial.","distinct":true,"url":"https://api.github.com/repos/treeowl/Idris-dev/commits/465cc1c0c1de75cefd65dc4dec1d382a82e9f370"},{"sha":"b9f0b7e8e7bf1ad596cb9f5deedaa673b50d6f19","author":{"email":"c3d6db46cba116cdc4c2ea85e02ad05dacad566f@canndrew.org","name":"Andrew Cann"},"message":"Fix build after rebase","distinct":true,"url":"https://api.github.com/repos/treeowl/Idris-dev/commits/b9f0b7e8e7bf1ad596cb9f5deedaa673b50d6f19"},{"sha":"30364c71896d7a29bc74bf7663bdd6db4f7a0e8d","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Division and modulus for Nat, plus associated utilities\n\nThis adds some trivial lemmas to Prelude.Nat, as well as the following\ncontrib modules:\n * Data.Nat: contains division and modulus for Nat, using well-founded\n   recursion\n * Control.WellFounded: contains low-level operations for well-founded\n   recursion","distinct":true,"url":"https://api.github.com/repos/treeowl/Idris-dev/commits/30364c71896d7a29bc74bf7663bdd6db4f7a0e8d"},{"sha":"0f86748e506f5da568423f363389554016235774","author":{"email":"fd5ac95021389c664c1d9007327b3b9c9eebb8bb@p.lodz.pl","name":"Jan Stolarek"},"message":"Fix build errors with GHC 7.10.1. Fixes #2080","distinct":true,"url":"https://api.github.com/repos/treeowl/Idris-dev/commits/0f86748e506f5da568423f363389554016235774"},{"sha":"aa61056d3ba3a35728c6412d5a49e3a85eed3833","author":{"email":"45974cab5fc33d9f0d3677077385ac4f89cda35f@gmail.com","name":"David Feuer"},"message":"Replace the Foldable List instance\n\nImplementing `foldr` in the obvious way should be just as fast as\nthe tail recursive way, and much more useful for proofs.\n\nDefining `foldl` directly may improve performance, and will\nprobably make some proofs easier.","distinct":false,"url":"https://api.github.com/repos/treeowl/Idris-dev/commits/aa61056d3ba3a35728c6412d5a49e3a85eed3833"},{"sha":"7aabf747e2abae49ff7098b870790d134e7cdc0a","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Rename lteSucc to lteSuccRight\n\nThis removes a confusing naming choice.","distinct":true,"url":"https://api.github.com/repos/treeowl/Idris-dev/commits/7aabf747e2abae49ff7098b870790d134e7cdc0a"},{"sha":"6bc1859ef95697103681db99f2e4d24573d2fa9f","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Clean up exports in Data.Nat in contrib","distinct":true,"url":"https://api.github.com/repos/treeowl/Idris-dev/commits/6bc1859ef95697103681db99f2e4d24573d2fa9f"},{"sha":"e5384b9b12dbcb0d65c5533df1bb82d1832c152d","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Christiansen"},"message":"Merge pull request #2080 from jstolarek/T2080\n\nIdris does not build with GHC 7.10.1","distinct":true,"url":"https://api.github.com/repos/treeowl/Idris-dev/commits/e5384b9b12dbcb0d65c5533df1bb82d1832c152d"},{"sha":"44ce3873f8cb462d52be12469a606616e161e7ad","author":{"email":"d53652de63b26f2b99abfc5699fac10f3f95e1f7@live.ru","name":"Heather"},"message":"rts: add getline to Makefile","distinct":true,"url":"https://api.github.com/repos/treeowl/Idris-dev/commits/44ce3873f8cb462d52be12469a606616e161e7ad"},{"sha":"ce3b60b9052d3bc05e872c84c66049a3313f05f3","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Christiansen"},"message":"Merge pull request #2084 from david-christiansen/contrib-nat-stuff\n\nDivision and modulus for Nat, plus associated utilities","distinct":true,"url":"https://api.github.com/repos/treeowl/Idris-dev/commits/ce3b60b9052d3bc05e872c84c66049a3313f05f3"},{"sha":"53c0fd77616359ff36445bc58921cf8b43aff964","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Christiansen"},"message":"Merge pull request #2090 from Heather/Makefile\n\nrts: add getline to Makefile","distinct":true,"url":"https://api.github.com/repos/treeowl/Idris-dev/commits/53c0fd77616359ff36445bc58921cf8b43aff964"},{"sha":"392123b67f1cf456265096cf643199eabe719559","author":{"email":"2bd344829560f9f8a83b74782f27ccdc644aaa7a@altern.org","name":"cchantep"},"message":"Append Char to String","distinct":true,"url":"https://api.github.com/repos/treeowl/Idris-dev/commits/392123b67f1cf456265096cf643199eabe719559"},{"sha":"9f5fb0823c464a4223f62d7eba91c7ec70d33bf3","author":{"email":"61ebf6bc14ce01e4cc9d59ee9f469c902ea13918@mm.st","name":"Niklas Larsson"},"message":"Need to wrap PATH in quotes to avoid chars being interpreted as shell\n\nNotable on windows where it is likely there is a directory with\nparantheses in the name.","distinct":true,"url":"https://api.github.com/repos/treeowl/Idris-dev/commits/9f5fb0823c464a4223f62d7eba91c7ec70d33bf3"},{"sha":"5804426e643da9432bc6e4e0630b2480440a4298","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Merge remote-tracking branch 'refs/remotes/upstream/master' into wip/tactical\n\nConflicts:\n\tsrc/Idris/ElabTerm.hs","distinct":true,"url":"https://api.github.com/repos/treeowl/Idris-dev/commits/5804426e643da9432bc6e4e0630b2480440a4298"},{"sha":"6c4553c31f0ead6f881b00ba65c042d677f4973e","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Make --quiet imply non-verbosity\n\nThis causes Idris to not emit messages about \"Type checking ....\" while\nin quiet mode, which improves the portability of tests to Windows (due\nto the slash facing the other way there). It also makes tests a bit more\nrobust with regards to their source files changing names.","distinct":true,"url":"https://api.github.com/repos/treeowl/Idris-dev/commits/6c4553c31f0ead6f881b00ba65c042d677f4973e"},{"sha":"cb6f646cabcfc7123f5ddbb6f6a89038c00915f5","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Christiansen"},"message":"Merge pull request #2092 from melted/perly_stuff\n\nNeed to wrap PATH in quotes to avoid chars being interpreted as shell","distinct":true,"url":"https://api.github.com/repos/treeowl/Idris-dev/commits/cb6f646cabcfc7123f5ddbb6f6a89038c00915f5"}]}