{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":324647778,"defaultBranch":"main","name":"algol-model","ownerLogin":"kevinclancy","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-12-26T22:49:01.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/1915968?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1609023133.0","currentOid":""},"activityList":{"items":[{"before":"2e582a655d5a6c0b14207730fc9159a757aa96f8","after":"783b82549d743336bc6e965d5d47640eea43e5a4","ref":"refs/heads/main","pushedAt":"2023-04-16T00:32:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kevinclancy","name":"Kevin Clancy","path":"/kevinclancy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1915968?s=80&v=4"},"commit":{"message":"provde that the unit of the smcc adjunction is a natural transformation","shortMessageHtmlLink":"provde that the unit of the smcc adjunction is a natural transformation"}},{"before":"eaf57f4ea04f3ed07b0842901e787c66673905a2","after":"2e582a655d5a6c0b14207730fc9159a757aa96f8","ref":"refs/heads/main","pushedAt":"2023-04-12T15:47:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kevinclancy","name":"Kevin Clancy","path":"/kevinclancy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1915968?s=80&v=4"},"commit":{"message":"started outlining the closed proof","shortMessageHtmlLink":"started outlining the closed proof"}},{"before":"04aff1e6304093e681da05d856afe09d4568c579","after":"eaf57f4ea04f3ed07b0842901e787c66673905a2","ref":"refs/heads/main","pushedAt":"2023-04-02T02:55:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kevinclancy","name":"Kevin Clancy","path":"/kevinclancy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1915968?s=80&v=4"},"commit":{"message":"Proved that lolli is a functor","shortMessageHtmlLink":"Proved that lolli is a functor"}},{"before":"f59021785a988456c8332b149dab91b752a19009","after":"04aff1e6304093e681da05d856afe09d4568c579","ref":"refs/heads/main","pushedAt":"2023-04-01T15:06:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kevinclancy","name":"Kevin Clancy","path":"/kevinclancy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1915968?s=80&v=4"},"commit":{"message":"Moved lolli code into its own file. Proved some more lolli-related theorems.","shortMessageHtmlLink":"Moved lolli code into its own file. Proved some more lolli-related th…"}},{"before":"e5b885bdf5c5dca7e021e2cf690dc306977b80e8","after":"f59021785a988456c8332b149dab91b752a19009","ref":"refs/heads/main","pushedAt":"2023-03-31T14:48:31.437Z","pushType":"push","commitsCount":1,"pusher":{"login":"kevinclancy","name":"Kevin Clancy","path":"/kevinclancy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1915968?s=80&v=4"},"commit":{"message":"Proved that the lolli functor maps a pair of linear functions to a linear function","shortMessageHtmlLink":"Proved that the lolli functor maps a pair of linear functions to a li…"}},{"before":"e3867da6a339c1a0ee491d61fb66847b8c633937","after":"e5b885bdf5c5dca7e021e2cf690dc306977b80e8","ref":"refs/heads/main","pushedAt":"2023-03-30T03:44:18.576Z","pushType":"push","commitsCount":2,"pusher":{"login":"kevinclancy","name":"Kevin Clancy","path":"/kevinclancy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1915968?s=80&v=4"},"commit":{"message":"finished proving that the object space functor is a functor","shortMessageHtmlLink":"finished proving that the object space functor is a functor"}},{"before":"2f2053bafe3d6e2c18c49ba40628818aae8c1a14","after":"e3867da6a339c1a0ee491d61fb66847b8c633937","ref":"refs/heads/main","pushedAt":"2023-03-28T15:20:43.783Z","pushType":"push","commitsCount":1,"pusher":{"login":"kevinclancy","name":"Kevin Clancy","path":"/kevinclancy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1915968?s=80&v=4"},"commit":{"message":"finished defining the object functors mapping on arrows","shortMessageHtmlLink":"finished defining the object functors mapping on arrows"}},{"before":"46442ae2a362166e4fe53919101f002d7c4bb010","after":"2f2053bafe3d6e2c18c49ba40628818aae8c1a14","ref":"refs/heads/main","pushedAt":"2023-03-28T03:59:38.323Z","pushType":"push","commitsCount":1,"pusher":{"login":"kevinclancy","name":"Kevin Clancy","path":"/kevinclancy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1915968?s=80&v=4"},"commit":{"message":"Coherent spaces now require decidable setoid equality. Began working on the object functor's arrow mapping.","shortMessageHtmlLink":"Coherent spaces now require decidable setoid equality. Began working …"}},{"before":"6c635ed56dc113a7fa62be8465899be4b3be69e5","after":"46442ae2a362166e4fe53919101f002d7c4bb010","ref":"refs/heads/main","pushedAt":"2023-03-24T05:20:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kevinclancy","name":"Kevin Clancy","path":"/kevinclancy","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1915968?s=80&v=4"},"commit":{"message":"Defined the object space functor's mapping on object, proved that it maps coherent spaces to coherent spaces","shortMessageHtmlLink":"Defined the object space functor's mapping on object, proved that it …"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wNC0xNlQwMDozMjo0OC4wMDAwMDBazwAAAAMZidK_","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wMy0yNFQwNToyMDowNS4wMDAwMDBazwAAAAMKQl75"}},"title":"Activity · kevinclancy/algol-model"}