{"push_id":3073692413,"size":8,"distinct_size":8,"ref":"refs/heads/master","head":"6517aa11d07e67f707277471ac721c6689b06bcc","before":"83165edb55bd985c2ded965930b0aec3c52b6624","commits":[{"sha":"af950a58c72965a193b9ee9932a767ce03103646","author":{"name":"Peter LeFanu Lumsdaine","email":"964ea4c877d09f40c9ebf440144412a6c8250291@gmail.com"},"message":"Fixed markdown error in README.md\n\nLast line belongs just to description of subdirectory `OtherDefs`","distinct":true,"url":"https://api.github.com/repos/rmatthes/TypeTheory/commits/af950a58c72965a193b9ee9932a767ce03103646"},{"sha":"dd56bab1dd99da5b58db783eecd18f1eff8575a3","author":{"name":"Anders Mörtberg","email":"05f2701cf4f5d07841bd3db236c3df32f7d560c9@gmail.com"},"message":"make the library compile","distinct":true,"url":"https://api.github.com/repos/rmatthes/TypeTheory/commits/dd56bab1dd99da5b58db783eecd18f1eff8575a3"},{"sha":"33863c231da10acf1f7223d2eeccbe21b0f62f9f","author":{"name":"Benedikt Ahrens","email":"b7c4baa775b92bf60ed8f6ecd5ac9f457efbb970@gmail.com"},"message":"Merge pull request #142 from mortberg/fix1\n\nMake the library compile again","distinct":true,"url":"https://api.github.com/repos/rmatthes/TypeTheory/commits/33863c231da10acf1f7223d2eeccbe21b0f62f9f"},{"sha":"e36c2c718764dc2f132fd27a29a56fb122a405a6","author":{"name":"Anders Mörtberg","email":"05f2701cf4f5d07841bd3db236c3df32f7d560c9@gmail.com"},"message":"add proof of comp from fill","distinct":true,"url":"https://api.github.com/repos/rmatthes/TypeTheory/commits/e36c2c718764dc2f132fd27a29a56fb122a405a6"},{"sha":"f17ddf0ddfa985a0a544f308b148c3f361ee7f2e","author":{"name":"Anders Mörtberg","email":"05f2701cf4f5d07841bd3db236c3df32f7d560c9@gmail.com"},"message":"comments and cleaning","distinct":true,"url":"https://api.github.com/repos/rmatthes/TypeTheory/commits/f17ddf0ddfa985a0a544f308b148c3f361ee7f2e"},{"sha":"89f8dc159aa45b94531d9560c9229c963000677b","author":{"name":"Anders Mörtberg","email":"05f2701cf4f5d07841bd3db236c3df32f7d560c9@gmail.com"},"message":"add .package/files for Cubical","distinct":true,"url":"https://api.github.com/repos/rmatthes/TypeTheory/commits/89f8dc159aa45b94531d9560c9229c963000677b"},{"sha":"e7ee83f401196e02e617a1457e214ec3c0d9cfe8","author":{"name":"Benedikt Ahrens","email":"b7c4baa775b92bf60ed8f6ecd5ac9f457efbb970@gmail.com"},"message":"Merge pull request #143 from mortberg/fillfromcomp\n\nProof that filling structures can be reduced to composition structures","distinct":true,"url":"https://api.github.com/repos/rmatthes/TypeTheory/commits/e7ee83f401196e02e617a1457e214ec3c0d9cfe8"},{"sha":"6517aa11d07e67f707277471ac721c6689b06bcc","author":{"name":"Peter LeFanu Lumsdaine","email":"964ea4c877d09f40c9ebf440144412a6c8250291@gmail.com"},"message":"Updated imports from Categories.HSET, following changes in UniMath.","distinct":true,"url":"https://api.github.com/repos/rmatthes/TypeTheory/commits/6517aa11d07e67f707277471ac721c6689b06bcc"}]}
{"actor":{"display_login":"rmatthes"}}