{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":545691022,"defaultBranch":"master","name":"LambdaIFCStar","ownerLogin":"Gradual-Typing","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-10-04T20:18:54.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/32933960?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1716577987.0","currentOid":""},"activityList":{"items":[{"before":"3e9c2e68269eb5ca4bdec74ed970c511524a88ff","after":"f8a5668b0fcda3bc41128b934cb0f6db3e200a93","ref":"refs/heads/master","pushedAt":"2024-05-24T18:21:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cty12","name":"Tianyu Chen","path":"/cty12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4571899?s=80&v=4"},"commit":{"message":"edit","shortMessageHtmlLink":"edit"}},{"before":"8cc6e022b187aabd8261ad7132eb616af751b8d6","after":"3e9c2e68269eb5ca4bdec74ed970c511524a88ff","ref":"refs/heads/master","pushedAt":"2024-05-23T18:27:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cty12","name":"Tianyu Chen","path":"/cty12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4571899?s=80&v=4"},"commit":{"message":"doc","shortMessageHtmlLink":"doc"}},{"before":"489bb7d1de5d6a08ec3016ee2a4439be7600309e","after":"8cc6e022b187aabd8261ad7132eb616af751b8d6","ref":"refs/heads/master","pushedAt":"2024-05-23T17:46:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cty12","name":"Tianyu Chen","path":"/cty12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4571899?s=80&v=4"},"commit":{"message":"doc","shortMessageHtmlLink":"doc"}},{"before":"3759bc78ae3dba8cad1cee9e1436767883ab786d","after":"489bb7d1de5d6a08ec3016ee2a4439be7600309e","ref":"refs/heads/master","pushedAt":"2024-05-23T15:14:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cty12","name":"Tianyu Chen","path":"/cty12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4571899?s=80&v=4"},"commit":{"message":"doc","shortMessageHtmlLink":"doc"}},{"before":"b90a4be21ad28076740206e03d323823eb4238ae","after":"3759bc78ae3dba8cad1cee9e1436767883ab786d","ref":"refs/heads/master","pushedAt":"2024-05-20T19:08:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cty12","name":"Tianyu Chen","path":"/cty12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4571899?s=80&v=4"},"commit":{"message":"doc","shortMessageHtmlLink":"doc"}},{"before":"9aa126d593c3f35d4caed433eebdf46335397bdd","after":"b90a4be21ad28076740206e03d323823eb4238ae","ref":"refs/heads/master","pushedAt":"2024-05-07T17:25:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cty12","name":"Tianyu Chen","path":"/cty12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4571899?s=80&v=4"},"commit":{"message":"doc","shortMessageHtmlLink":"doc"}},{"before":"5f0ca8a0f259c80d74c0bea9cdb6b7edf07b41ef","after":"9aa126d593c3f35d4caed433eebdf46335397bdd","ref":"refs/heads/master","pushedAt":"2024-05-07T16:42:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cty12","name":"Tianyu Chen","path":"/cty12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4571899?s=80&v=4"},"commit":{"message":"revising docs","shortMessageHtmlLink":"revising docs"}},{"before":"196bae43d9a6436606a13ed2104b3cbd0cd16650","after":"5f0ca8a0f259c80d74c0bea9cdb6b7edf07b41ef","ref":"refs/heads/master","pushedAt":"2024-05-03T20:20:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cty12","name":"Tianyu Chen","path":"/cty12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4571899?s=80&v=4"},"commit":{"message":"try again","shortMessageHtmlLink":"try again"}},{"before":"2b3027dd5f30c7a904de4ed91b1070954b952abd","after":"196bae43d9a6436606a13ed2104b3cbd0cd16650","ref":"refs/heads/master","pushedAt":"2024-05-03T20:07:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cty12","name":"Tianyu Chen","path":"/cty12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4571899?s=80&v=4"},"commit":{"message":"test","shortMessageHtmlLink":"test"}},{"before":"cbc71c8eca72bc03f8c773911b261d61504e1990","after":"2b3027dd5f30c7a904de4ed91b1070954b952abd","ref":"refs/heads/master","pushedAt":"2024-05-03T19:02:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cty12","name":"Tianyu Chen","path":"/cty12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4571899?s=80&v=4"},"commit":{"message":"editing the new readme file","shortMessageHtmlLink":"editing the new readme file"}},{"before":"1f3fb54f9e81f610eae9b072aa741bfeb927cb6a","after":"cbc71c8eca72bc03f8c773911b261d61504e1990","ref":"refs/heads/master","pushedAt":"2024-05-03T16:56:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cty12","name":"Tianyu Chen","path":"/cty12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4571899?s=80&v=4"},"commit":{"message":"rename LambdaSECStar to LambdaIFCStar and start editing documentation","shortMessageHtmlLink":"rename LambdaSECStar to LambdaIFCStar and start editing documentation"}},{"before":"a7823d999e54f124d418b3b076b500fc1715b2ee","after":"1f3fb54f9e81f610eae9b072aa741bfeb927cb6a","ref":"refs/heads/master","pushedAt":"2024-05-03T16:28:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cty12","name":"Tianyu Chen","path":"/cty12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4571899?s=80&v=4"},"commit":{"message":"include the gradual guarantee theorem in `Proofs.agda`","shortMessageHtmlLink":"include the gradual guarantee theorem in <code>Proofs.agda</code>"}},{"before":"af4b395b419b20a9703ca435b105776b73b59749","after":"a7823d999e54f124d418b3b076b500fc1715b2ee","ref":"refs/heads/master","pushedAt":"2024-05-03T15:46:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cty12","name":"Tianyu Chen","path":"/cty12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4571899?s=80&v=4"},"commit":{"message":"check","shortMessageHtmlLink":"check"}},{"before":"39f379927e1b12f802b62657ed528f7d8986099c","after":"af4b395b419b20a9703ca435b105776b73b59749","ref":"refs/heads/master","pushedAt":"2024-05-03T04:19:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cty12","name":"Tianyu Chen","path":"/cty12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4571899?s=80&v=4"},"commit":{"message":"added top-level theorem statement of 'compilation preserves precision'","shortMessageHtmlLink":"added top-level theorem statement of 'compilation preserves precision'"}},{"before":"5478cb0c8961096d005fb1c017d87220f21ce4a9","after":"39f379927e1b12f802b62657ed528f7d8986099c","ref":"refs/heads/master","pushedAt":"2024-05-03T03:45:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cty12","name":"Tianyu Chen","path":"/cty12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4571899?s=80&v=4"},"commit":{"message":"finish holes","shortMessageHtmlLink":"finish holes"}},{"before":"4f528a286c8a232b4062e55294b59f9f5930ff68","after":"5478cb0c8961096d005fb1c017d87220f21ce4a9","ref":"refs/heads/master","pushedAt":"2024-05-02T20:04:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cty12","name":"Tianyu Chen","path":"/cty12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4571899?s=80&v=4"},"commit":{"message":"check","shortMessageHtmlLink":"check"}},{"before":"dc2912a205925c909bd36cf329bd7a6b47a97912","after":"4f528a286c8a232b4062e55294b59f9f5930ff68","ref":"refs/heads/master","pushedAt":"2024-05-02T15:12:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cty12","name":"Tianyu Chen","path":"/cty12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4571899?s=80&v=4"},"commit":{"message":"two goals left","shortMessageHtmlLink":"two goals left"}},{"before":"cf5606f1c9b564656538cc82621c3d54cd98cb36","after":"dc2912a205925c909bd36cf329bd7a6b47a97912","ref":"refs/heads/master","pushedAt":"2024-05-01T20:18:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cty12","name":"Tianyu Chen","path":"/cty12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4571899?s=80&v=4"},"commit":{"message":"update compile","shortMessageHtmlLink":"update compile"}},{"before":"b5d56766b894a81b06b102181e51aad4a89a27e3","after":"cf5606f1c9b564656538cc82621c3d54cd98cb36","ref":"refs/heads/master","pushedAt":"2024-05-01T20:18:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cty12","name":"Tianyu Chen","path":"/cty12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4571899?s=80&v=4"},"commit":{"message":"filled in a bunch of holes","shortMessageHtmlLink":"filled in a bunch of holes"}},{"before":"51eff3482be0f1b34b08649983f8e542c7c414cb","after":"b5d56766b894a81b06b102181e51aad4a89a27e3","ref":"refs/heads/master","pushedAt":"2024-05-01T18:34:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cty12","name":"Tianyu Chen","path":"/cty12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4571899?s=80&v=4"},"commit":{"message":"added a bunch of holes","shortMessageHtmlLink":"added a bunch of holes"}},{"before":"e46a5a199fb6bb34bce7dd8544e48c4878dc3b78","after":"51eff3482be0f1b34b08649983f8e542c7c414cb","ref":"refs/heads/master","pushedAt":"2024-04-29T17:12:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cty12","name":"Tianyu Chen","path":"/cty12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4571899?s=80&v=4"},"commit":{"message":"updated compilation and got rid of a helper","shortMessageHtmlLink":"updated compilation and got rid of a helper"}},{"before":"159f6c9454d5c400e18841e2fe246e1e02de6a64","after":"e46a5a199fb6bb34bce7dd8544e48c4878dc3b78","ref":"refs/heads/master","pushedAt":"2024-04-27T18:17:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cty12","name":"Tianyu Chen","path":"/cty12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4571899?s=80&v=4"},"commit":{"message":"check","shortMessageHtmlLink":"check"}},{"before":"0782158775ee2a0008484161de96b36bc6020902","after":"159f6c9454d5c400e18841e2fe246e1e02de6a64","ref":"refs/heads/master","pushedAt":"2024-04-25T16:00:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cty12","name":"Tianyu Chen","path":"/cty12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4571899?s=80&v=4"},"commit":{"message":"check","shortMessageHtmlLink":"check"}},{"before":"9ff9bde6be569cfd30bf873a334fd2dd1bf831aa","after":"0782158775ee2a0008484161de96b36bc6020902","ref":"refs/heads/master","pushedAt":"2024-04-25T15:44:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cty12","name":"Tianyu Chen","path":"/cty12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4571899?s=80&v=4"},"commit":{"message":"check","shortMessageHtmlLink":"check"}},{"before":"7f9cfa198ff35d3bcf13286ad94e19504311de5d","after":"9ff9bde6be569cfd30bf873a334fd2dd1bf831aa","ref":"refs/heads/master","pushedAt":"2024-04-24T20:18:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cty12","name":"Tianyu Chen","path":"/cty12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4571899?s=80&v=4"},"commit":{"message":"check","shortMessageHtmlLink":"check"}},{"before":"f814a4810101d53d54c87cdd82e9db2bb996c3d6","after":"7f9cfa198ff35d3bcf13286ad94e19504311de5d","ref":"refs/heads/master","pushedAt":"2024-04-24T19:54:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cty12","name":"Tianyu Chen","path":"/cty12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4571899?s=80&v=4"},"commit":{"message":"progress","shortMessageHtmlLink":"progress"}},{"before":"65bf759cfc8645b7a71177b2b364ebd4ba161e2c","after":"f814a4810101d53d54c87cdd82e9db2bb996c3d6","ref":"refs/heads/master","pushedAt":"2024-04-24T19:09:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cty12","name":"Tianyu Chen","path":"/cty12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4571899?s=80&v=4"},"commit":{"message":"more refactoring","shortMessageHtmlLink":"more refactoring"}},{"before":"05b71e29feec3c1e2ca7640b00d2e19cb38826bf","after":"65bf759cfc8645b7a71177b2b364ebd4ba161e2c","ref":"refs/heads/master","pushedAt":"2024-04-24T17:14:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cty12","name":"Tianyu Chen","path":"/cty12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4571899?s=80&v=4"},"commit":{"message":"refactoring compilation ...","shortMessageHtmlLink":"refactoring compilation ..."}},{"before":"38056e00e90cca0440e73a425e4e6ca4499661c3","after":"05b71e29feec3c1e2ca7640b00d2e19cb38826bf","ref":"refs/heads/master","pushedAt":"2024-04-24T14:34:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cty12","name":"Tianyu Chen","path":"/cty12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4571899?s=80&v=4"},"commit":{"message":"experimenting with the compile function","shortMessageHtmlLink":"experimenting with the compile function"}},{"before":"b4067e0f825e02a9a2dbe6286c698940f49401e7","after":"38056e00e90cca0440e73a425e4e6ca4499661c3","ref":"refs/heads/master","pushedAt":"2024-04-18T20:28:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cty12","name":"Tianyu Chen","path":"/cty12","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4571899?s=80&v=4"},"commit":{"message":"check","shortMessageHtmlLink":"check"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEU06hKAA","startCursor":null,"endCursor":null}},"title":"Activity · Gradual-Typing/LambdaIFCStar"}