{"push_id":893498874,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"9aa6bb7a0c9e5456667857fba12b80e23f340b8f","before":"33a70d5b9bb550530a2fdedb8445d710accd5035","commits":[{"sha":"edb400e0a4006ce4951c1583c63cd549372dff3d","author":{"email":"c9674dd1eb14cb562848497b2258568cb4b6d306@irit.fr","name":"Ralph Matthes"},"message":"Generalized Mendler Iteration -> Generalized Iteration in Mendler-style\n\nGeneralized Mendler Iteration has a distinctly different meaning in the work of Abel, Matthes and Uustalu, and this is even discussed in a submission that refers to the present code\nthere seems nevertheless to be no need to change the Coq identifiers","distinct":true,"url":"https://api.github.com/repos/UniMath/UniMath/commits/edb400e0a4006ce4951c1583c63cd549372dff3d"},{"sha":"9aa6bb7a0c9e5456667857fba12b80e23f340b8f","author":{"email":"2591e5f46f28d303f9dc027d475a5c60d8dea17a@math.uiuc.edu","name":"Daniel R. Grayson"},"message":"Merge pull request #255 from benediktahrens/hss-summary\n\nGeneralized Mendler Iteration -> Generalized Iteration in Mendler-style","distinct":true,"url":"https://api.github.com/repos/UniMath/UniMath/commits/9aa6bb7a0c9e5456667857fba12b80e23f340b8f"}]}