{"push_id":1329861534,"size":2,"distinct_size":2,"ref":"refs/heads/sums","head":"d9b4b8cdf9a20ab9afd164e0c41ac30df24d83e1","before":"36311dfb5beaba54a7004d5b6eadeb4f6ab0a243","commits":[{"sha":"5bcd683e39a8bee3f0b2d6d2c83aec858a6a8a64","author":{"name":"Ian Voysey","email":"b91d558162b39988f1147f9c7bd70c432a4fdbbc@cs.cmu.edu"},"message":"oop, wrong cursor position to match paper. #31","distinct":true,"url":"https://api.github.com/repos/hazelgrove/agda-popl17/commits/5bcd683e39a8bee3f0b2d6d2c83aec858a6a8a64"},{"sha":"d9b4b8cdf9a20ab9afd164e0c41ac30df24d83e1","author":{"name":"Ian Voysey","email":"b91d558162b39988f1147f9c7bd70c432a4fdbbc@cs.cmu.edu"},"message":"working towards #31 currently does not compile","distinct":true,"url":"https://api.github.com/repos/hazelgrove/agda-popl17/commits/d9b4b8cdf9a20ab9afd164e0c41ac30df24d83e1"}]}
{"actor":{"display_login":"ivoysey"}}