{"push_id":1354059967,"size":5,"distinct_size":5,"ref":"refs/heads/master","head":"06adedbc2a8254b1c051e7d92ad6dfc8ca9e4838","before":"e3893da0ebca8f80ca2919426529b544503d2010","commits":[{"sha":"f965b3cc55a4d1b7514ab778909cb425c7ed5560","author":{"name":"Andreas Abel","email":"ec9f38e26707ed5bb9aa5946fc3b7450c467d766@ifi.lmu.de"},"message":"Data.Nat.fold generalized to arbitrary levels.","distinct":true,"url":"https://api.github.com/repos/agda/agda-stdlib/commits/f965b3cc55a4d1b7514ab778909cb425c7ed5560"},{"sha":"f723db1826a3128996b04e8508b1d7c4e9bf51b3","author":{"name":"Andreas Abel","email":"ec9f38e26707ed5bb9aa5946fc3b7450c467d766@ifi.lmu.de"},"message":"Solver for commutative monoids.","distinct":true,"url":"https://api.github.com/repos/agda/agda-stdlib/commits/f723db1826a3128996b04e8508b1d7c4e9bf51b3"},{"sha":"683abf1d10decfec8a2eb3579096e1def5ad4584","author":{"name":"Andreas Abel","email":"ec9f38e26707ed5bb9aa5946fc3b7450c467d766@ifi.lmu.de"},"message":"Idempotent commutative monoids added to Algebra.Structures","distinct":true,"url":"https://api.github.com/repos/agda/agda-stdlib/commits/683abf1d10decfec8a2eb3579096e1def5ad4584"},{"sha":"1c78e4ed8c23fa3d26c5b7c99864cbf68632d303","author":{"name":"Andreas Abel","email":"ec9f38e26707ed5bb9aa5946fc3b7450c467d766@ifi.lmu.de"},"message":"Solver for idempotent commutative monoids.","distinct":true,"url":"https://api.github.com/repos/agda/agda-stdlib/commits/1c78e4ed8c23fa3d26c5b7c99864cbf68632d303"},{"sha":"06adedbc2a8254b1c051e7d92ad6dfc8ca9e4838","author":{"name":"Andreas Abel","email":"ec9f38e26707ed5bb9aa5946fc3b7450c467d766@ifi.lmu.de"},"message":"Merge branch 'master' of github.com:agda/agda-stdlib","distinct":true,"url":"https://api.github.com/repos/agda/agda-stdlib/commits/06adedbc2a8254b1c051e7d92ad6dfc8ca9e4838"}]}
{"actor":{"display_login":"andreasabel"}}