{"push_id":1186039631,"size":4,"distinct_size":4,"ref":"refs/heads/master","head":"072d12b944cf173372407518b16e46663b0960a4","before":"69851166b0f9a604bcfff9a305d14bec8a95414e","commits":[{"sha":"3451fca301c446a7dff658952942d72836de0a69","author":{"name":"Richard Eisenberg","email":"a7093439ff0ef461f7bbd697de1eb731a4e707f2@cis.upenn.edu"},"message":"Change `base` bounds to prevent GHC 7","distinct":true,"url":"https://api.github.com/repos/int-index/singletons/commits/3451fca301c446a7dff658952942d72836de0a69"},{"sha":"2a8c156f87ff7f05831800d6be1abb7c0a7d8ad6","author":{"name":"Richard Eisenberg","email":"a7093439ff0ef461f7bbd697de1eb731a4e707f2@cis.upenn.edu"},"message":"Fix #151 with a documentation clarification.","distinct":true,"url":"https://api.github.com/repos/int-index/singletons/commits/2a8c156f87ff7f05831800d6be1abb7c0a7d8ad6"},{"sha":"a3c5db2970e226ff63604c70c03311bdfc76129f","author":{"name":"Index Int","email":"bfbc275974cf21004c1a57c65366292cf7322f4b@gmail.com"},"message":"Explicit forall in withSomeSing","distinct":true,"url":"https://api.github.com/repos/int-index/singletons/commits/a3c5db2970e226ff63604c70c03311bdfc76129f"},{"sha":"072d12b944cf173372407518b16e46663b0960a4","author":{"name":"Richard Eisenberg","email":"a7093439ff0ef461f7bbd697de1eb731a4e707f2@cis.upenn.edu"},"message":"Merge pull request #154 from int-index/exp-kind-param\n\nExplicit forall in withSomeSing","distinct":true,"url":"https://api.github.com/repos/int-index/singletons/commits/072d12b944cf173372407518b16e46663b0960a4"}]}
{"actor":{"display_login":"int-index"}}