{"push_id":1423950189,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"b41024328d0f98c682b432c7874a91ab3b678310","before":"abd3131c018c2568e01467576be576f67313cc27","commits":[{"sha":"ef453b162279703506edb5f45e7c5b163844754f","author":{"name":"Benedikt Ahrens","email":"ebd3ac37d3eb4aa643522e2c1b1fe8cde6fb62d3@gmx.net"},"message":"lazy evaluation works on maps from lists to base types","distinct":true,"url":"https://api.github.com/repos/UniMath/UniMath/commits/ef453b162279703506edb5f45e7c5b163844754f"},{"sha":"55b1ffe9d8b04878bd8a7a2d057a80515466149b","author":{"name":"Benedikt Ahrens","email":"ebd3ac37d3eb4aa643522e2c1b1fe8cde6fb62d3@gmx.net"},"message":"some more tests for initial algebras","distinct":true,"url":"https://api.github.com/repos/UniMath/UniMath/commits/55b1ffe9d8b04878bd8a7a2d057a80515466149b"},{"sha":"b41024328d0f98c682b432c7874a91ab3b678310","author":{"name":"Vladimir Voevodsky","email":"7c1cdf8207b2cbaae42368cd38ff571b0f516dec@ias.edu"},"message":"Merge pull request #493 from benediktahrens/list-computation\n\nlazy evaluation works on maps from lists to base types","distinct":true,"url":"https://api.github.com/repos/UniMath/UniMath/commits/b41024328d0f98c682b432c7874a91ab3b678310"}]}
{"actor":{"display_login":"vladimirias"}}