{"push_id":802202137,"size":14,"distinct_size":11,"ref":"refs/heads/wip/tactical","head":"ce403f6c60447bc7724262cee2c410bd168c0029","before":"f4c91c6d7ba45272b4288f69f1444084d6aa1a05","commits":[{"sha":"bba27b6ba2d51e87c23820bfe84c04e755436767","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Remove +, -, and * on Fin\n\nThere are a number of reasonable type signatures for these, and there\ndoesn't seem to be a reason to prioritize the particular versions in the\nlibrary. They generated more questions than actual use.","distinct":false,"url":"https://api.github.com/repos/david-christiansen/Idris-dev/commits/bba27b6ba2d51e87c23820bfe84c04e755436767"},{"sha":"d3389d150c51aece090c24e3c8fe57e31727c237","author":{"email":"b6c644234d169fe44f9cac01a3a56892f9fadc28@gmail.com","name":"Stefan Bleibinhaus"},"message":"Add --package contrib to tutorial","distinct":true,"url":"https://api.github.com/repos/david-christiansen/Idris-dev/commits/d3389d150c51aece090c24e3c8fe57e31727c237"},{"sha":"56afb44034c47b99999afe82636b72eb4632c697","author":{"email":"ef043464b3d405ec744c825643f0423fb5675fa9@gmail.com","name":"Ilan Godik"},"message":"Fix Char-Ascii docs","distinct":false,"url":"https://api.github.com/repos/david-christiansen/Idris-dev/commits/56afb44034c47b99999afe82636b72eb4632c697"},{"sha":"50878fa319e3f522f5caeda9f7dcea45d7626f16","author":{"email":"348c32c85f2e656df5b508432d5db2052134516e@gmail.com","name":"Niklas Larsson"},"message":"Merge pull request #2638 from NightRa/patch-2\n\nFix Char-Ascii docs","distinct":false,"url":"https://api.github.com/repos/david-christiansen/Idris-dev/commits/50878fa319e3f522f5caeda9f7dcea45d7626f16"},{"sha":"fe9247356e27a73fb6efb3db11d3ece577193918","author":{"email":"348c32c85f2e656df5b508432d5db2052134516e@gmail.com","name":"Niklas Larsson"},"message":"Merge pull request #2632 from ExNexu/patch-1\n\nAdd --package contrib to tutorial","distinct":true,"url":"https://api.github.com/repos/david-christiansen/Idris-dev/commits/fe9247356e27a73fb6efb3db11d3ece577193918"},{"sha":"a7062479fa1bdcea7c58015043727dc88c3d432b","author":{"email":"61ebf6bc14ce01e4cc9d59ee9f469c902ea13918@mm.st","name":"Niklas Larsson"},"message":"Fix build with clang on Windows","distinct":true,"url":"https://api.github.com/repos/david-christiansen/Idris-dev/commits/a7062479fa1bdcea7c58015043727dc88c3d432b"},{"sha":"ee76b88a6293ff66e860ecc76cbbadd22d162d8c","author":{"email":"348c32c85f2e656df5b508432d5db2052134516e@gmail.com","name":"Niklas Larsson"},"message":"Merge pull request #2641 from melted/clang_win\n\nFix build with clang on Windows","distinct":true,"url":"https://api.github.com/repos/david-christiansen/Idris-dev/commits/ee76b88a6293ff66e860ecc76cbbadd22d162d8c"},{"sha":"b678d7c93cf577e28be2d1cea4a17a223e6b0a28","author":{"email":"435e2a4f8ba8cc6bf7a8685499cd59003323ddf3@st-andrews.ac.uk","name":"Edwin Brady"},"message":"Changed scoping rules for unbound implicits.\n\nAny name which would be a valid unbound implicit is now *always* an\nunbound implicit. This is much more resilient to changes in inputs, but\ndoes require that function names be explicitly qualified when in\nargument position.\n\nUpdated libraries/tests accordingly.\n\nWARNING: This is likely to break some code; the fix is, in all cases, to\ngive explicit namespaces for function names in types in an argument\nposition (i.e. a valid position for it to be an unbound implicit).","distinct":true,"url":"https://api.github.com/repos/david-christiansen/Idris-dev/commits/b678d7c93cf577e28be2d1cea4a17a223e6b0a28"},{"sha":"93dafdeb83fd1b1d710201a20df575740935d701","author":{"email":"435e2a4f8ba8cc6bf7a8685499cd59003323ddf3@st-andrews.ac.uk","name":"Edwin Brady"},"message":"Make sure deferred names are unique\n\nAlso, when they're created, make sure the name is returned to the thing\nwhich deferred the name.\n\n(This may need a tweak to elaborator reflection, in prim__Metavar, to\nmake it work consistently.)\n\nFixes #2645","distinct":true,"url":"https://api.github.com/repos/david-christiansen/Idris-dev/commits/93dafdeb83fd1b1d710201a20df575740935d701"},{"sha":"f1ffd5c636c8920f729cd20d29f66e3b3a7dbab3","author":{"email":"435e2a4f8ba8cc6bf7a8685499cd59003323ddf3@st-andrews.ac.uk","name":"Edwin Brady"},"message":"Add new test for matrix transposition\n\nAlso ensures that 'elem' is okay to use as an unbound implicit.","distinct":true,"url":"https://api.github.com/repos/david-christiansen/Idris-dev/commits/f1ffd5c636c8920f729cd20d29f66e3b3a7dbab3"},{"sha":"ccf6c405fb99faeb2677101f0a8e766dc2bc8969","author":{"email":"435e2a4f8ba8cc6bf7a8685499cd59003323ddf3@st-andrews.ac.uk","name":"Edwin Brady"},"message":"Increment patch version","distinct":true,"url":"https://api.github.com/repos/david-christiansen/Idris-dev/commits/ccf6c405fb99faeb2677101f0a8e766dc2bc8969"},{"sha":"c36a1559554cee30554a3ccef9000cf90749be9b","author":{"email":"435e2a4f8ba8cc6bf7a8685499cd59003323ddf3@st-andrews.ac.uk","name":"Edwin Brady"},"message":"Remove ugly FIXMEs from Effects.idr\n\nPattern unification takes care of this","distinct":true,"url":"https://api.github.com/repos/david-christiansen/Idris-dev/commits/c36a1559554cee30554a3ccef9000cf90749be9b"},{"sha":"d03c71c487e8066a89fd9ba64381862190179ad4","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Christiansen"},"message":"Merge pull request #2600 from david-christiansen/no-more-fin-plus\n\nRemove +, -, and * on Fin","distinct":true,"url":"https://api.github.com/repos/david-christiansen/Idris-dev/commits/d03c71c487e8066a89fd9ba64381862190179ad4"},{"sha":"ce403f6c60447bc7724262cee2c410bd168c0029","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Merge remote-tracking branch 'upstream/master' into wip/tactical\n\nConflicts:\n\tCHANGELOG","distinct":true,"url":"https://api.github.com/repos/david-christiansen/Idris-dev/commits/ce403f6c60447bc7724262cee2c410bd168c0029"}]}