{"push_id":3157266689,"size":10,"distinct_size":10,"ref":"refs/heads/monadalg","head":"e328ae33fd857a1e9ada77fefdf470aaef918e20","before":"85747e5ddcdaef781c55f1b40abfdc30fcfe2b5b","commits":[{"sha":"1b3d08a3f48ff3f70fda807b37f93a706d2561fb","author":{"name":"Langston Barrett","email":"bf80bf147e79acecfd6a514a5cd74ec21e37784d@gmail.com"},"message":"Displayed categories: generalize some things to precategories\n\nThis will be helpful when giving the category of sets as a displayed category\nover the precategory of types","distinct":true,"url":"https://api.github.com/repos/tamaravonglehn/UniMath/commits/1b3d08a3f48ff3f70fda807b37f93a706d2561fb"},{"sha":"61d6cdac5fc2d5c66b0111866022b24588a1ef0e","author":{"name":"Langston Barrett","email":"bf80bf147e79acecfd6a514a5cd74ec21e37784d@gmail.com"},"message":"Displayed category of sets","distinct":true,"url":"https://api.github.com/repos/tamaravonglehn/UniMath/commits/61d6cdac5fc2d5c66b0111866022b24588a1ef0e"},{"sha":"a55c1128fe708f4f61d3904919cfe6d75626064b","author":{"name":"Langston Barrett","email":"bf80bf147e79acecfd6a514a5cd74ec21e37784d@gmail.com"},"message":"Add another section header","distinct":true,"url":"https://api.github.com/repos/tamaravonglehn/UniMath/commits/a55c1128fe708f4f61d3904919cfe6d75626064b"},{"sha":"1bf5f8472243204f3d4f1ecbe19995d2d5d24f21","author":{"name":"Langston Barrett","email":"bf80bf147e79acecfd6a514a5cd74ec21e37784d@gmail.com"},"message":"[WIP] more results on disp_HSET","distinct":true,"url":"https://api.github.com/repos/tamaravonglehn/UniMath/commits/1bf5f8472243204f3d4f1ecbe19995d2d5d24f21"},{"sha":"908a1690f35836a6b0fe2f08a2616d71ab23de4f","author":{"name":"Langston Barrett","email":"bf80bf147e79acecfd6a514a5cd74ec21e37784d@gmail.com"},"message":"Update equivalence between disp_HSET and HSET\n\nMerge conflict with new organization of modules on equivalences","distinct":true,"url":"https://api.github.com/repos/tamaravonglehn/UniMath/commits/908a1690f35836a6b0fe2f08a2616d71ab23de4f"},{"sha":"f623db72294571b19c6270d3fcb1ed2f3dcb6599","author":{"name":"Benedikt Ahrens","email":"b7c4baa775b92bf60ed8f6ecd5ac9f457efbb970@gmail.com"},"message":"Merge branch 'master' into disp-hset","distinct":true,"url":"https://api.github.com/repos/tamaravonglehn/UniMath/commits/f623db72294571b19c6270d3fcb1ed2f3dcb6599"},{"sha":"30a92624a2230db065e2c177455f093e474a02ff","author":{"name":"Langston Barrett","email":"bf80bf147e79acecfd6a514a5cd74ec21e37784d@gmail.com"},"message":"Merge remote-tracking branch 'origin' into disp-hset","distinct":true,"url":"https://api.github.com/repos/tamaravonglehn/UniMath/commits/30a92624a2230db065e2c177455f093e474a02ff"},{"sha":"159960847746d50946a79b99a80ee79c255e672e","author":{"name":"Langston Barrett","email":"bf80bf147e79acecfd6a514a5cd74ec21e37784d@gmail.com"},"message":"Remove erroneously committed All file","distinct":true,"url":"https://api.github.com/repos/tamaravonglehn/UniMath/commits/159960847746d50946a79b99a80ee79c255e672e"},{"sha":"07ba0ff2a14fe4338aff18634803cfb62b702b98","author":{"name":"Benedikt Ahrens","email":"b7c4baa775b92bf60ed8f6ecd5ac9f457efbb970@gmail.com"},"message":"Merge pull request #1114 from siddharthist/disp-hset\n\nDisplayed category of sets","distinct":true,"url":"https://api.github.com/repos/tamaravonglehn/UniMath/commits/07ba0ff2a14fe4338aff18634803cfb62b702b98"},{"sha":"e328ae33fd857a1e9ada77fefdf470aaef918e20","author":{"name":"Benedikt Ahrens","email":"b7c4baa775b92bf60ed8f6ecd5ac9f457efbb970@gmail.com"},"message":"Merge branch 'master' into monadalg","distinct":true,"url":"https://api.github.com/repos/tamaravonglehn/UniMath/commits/e328ae33fd857a1e9ada77fefdf470aaef918e20"}]}
{"actor":{"display_login":"benediktahrens"}}