{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":554139843,"defaultBranch":"master","name":"TAPL","ownerLogin":"Austaras","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-10-19T10:09:54.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/15013925?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1666174417.915049","currentOid":""},"activityList":{"items":[{"before":"2270eec18a370b16a2c094fc494e92dba48f3080","after":"1334c5d5b4c07cdb5f66e9d25b272a273962f8ae","ref":"refs/heads/master","pushedAt":"2023-04-09T12:41:05.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Austaras","name":null,"path":"/Austaras","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15013925?s=80&v=4"},"commit":{"message":"use ctx","shortMessageHtmlLink":"use ctx"}},{"before":"d51aad931f809f943a545aa1e8ec384461d2f821","after":"2270eec18a370b16a2c094fc494e92dba48f3080","ref":"refs/heads/master","pushedAt":"2023-04-09T05:16:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Austaras","name":null,"path":"/Austaras","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15013925?s=80&v=4"},"commit":{"message":"use ctx","shortMessageHtmlLink":"use ctx"}},{"before":"403c020dff83a0771a465246ee867313c017b92e","after":"d51aad931f809f943a545aa1e8ec384461d2f821","ref":"refs/heads/master","pushedAt":"2023-04-07T11:25:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Austaras","name":null,"path":"/Austaras","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15013925?s=80&v=4"},"commit":{"message":"dead loop in f-sub","shortMessageHtmlLink":"dead loop in f-sub"}},{"before":"86561ed697ca641cb6ef90313ca2a04327e62f3d","after":"403c020dff83a0771a465246ee867313c017b92e","ref":"refs/heads/master","pushedAt":"2023-04-05T07:40:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Austaras","name":null,"path":"/Austaras","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15013925?s=80&v=4"},"commit":{"message":"bounded quantification with references","shortMessageHtmlLink":"bounded quantification with references"}},{"before":"364ffaa3a1751560a7385d252782abd1cb5e2c5a","after":"86561ed697ca641cb6ef90313ca2a04327e62f3d","ref":"refs/heads/master","pushedAt":"2023-04-05T01:43:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Austaras","name":null,"path":"/Austaras","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15013925?s=80&v=4"},"commit":{"message":"bounded quantification","shortMessageHtmlLink":"bounded quantification"}},{"before":"08cc9ca7de608ff868b46ff604719b74e406f331","after":"364ffaa3a1751560a7385d252782abd1cb5e2c5a","ref":"refs/heads/master","pushedAt":"2023-04-03T05:46:29.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Austaras","name":null,"path":"/Austaras","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15013925?s=80&v=4"},"commit":{"message":"system F","shortMessageHtmlLink":"system F"}},{"before":"e219da599a90a02fbfbfc81451041d6a2c573a63","after":"08cc9ca7de608ff868b46ff604719b74e406f331","ref":"refs/heads/master","pushedAt":"2023-04-02T23:16:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Austaras","name":null,"path":"/Austaras","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15013925?s=80&v=4"},"commit":{"message":"system F","shortMessageHtmlLink":"system F"}},{"before":"1184f1b609c7b463c0136a53fef182e13e24d2c5","after":"e219da599a90a02fbfbfc81451041d6a2c573a63","ref":"refs/heads/master","pushedAt":"2023-03-23T16:42:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Austaras","name":null,"path":"/Austaras","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15013925?s=80&v=4"},"commit":{"message":"support let rec as a derived form","shortMessageHtmlLink":"support let rec as a derived form"}},{"before":"86c628a2d39c157316ee9ad1ab5b837b2cc93c35","after":"1184f1b609c7b463c0136a53fef182e13e24d2c5","ref":"refs/heads/master","pushedAt":"2023-03-22T18:16:33.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Austaras","name":null,"path":"/Austaras","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15013925?s=80&v=4"},"commit":{"message":"type reconstruction","shortMessageHtmlLink":"type reconstruction"}},{"before":"b3d5867fe3c2d1768260d1220b334e3a9a67aa6d","after":"86c628a2d39c157316ee9ad1ab5b837b2cc93c35","ref":"refs/heads/master","pushedAt":"2023-03-22T15:02:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Austaras","name":null,"path":"/Austaras","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15013925?s=80&v=4"},"commit":{"message":"type reconstruction","shortMessageHtmlLink":"type reconstruction"}},{"before":"38e046844633053f58a69da1443372a1ff134314","after":"b3d5867fe3c2d1768260d1220b334e3a9a67aa6d","ref":"refs/heads/master","pushedAt":"2023-03-14T08:23:01.876Z","pushType":"push","commitsCount":1,"pusher":{"login":"Austaras","name":null,"path":"/Austaras","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15013925?s=80&v=4"},"commit":{"message":"support subtype for chapter","shortMessageHtmlLink":"support subtype for chapter"}},{"before":"17547e4fe06f8abf4674ba17a6f2456e1c0a8ebd","after":"38e046844633053f58a69da1443372a1ff134314","ref":"refs/heads/master","pushedAt":"2023-03-13T16:09:38.676Z","pushType":"push","commitsCount":1,"pusher":{"login":"Austaras","name":null,"path":"/Austaras","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15013925?s=80&v=4"},"commit":{"message":"STLC with equal recursive type","shortMessageHtmlLink":"STLC with equal recursive type"}},{"before":"f8c3dfb388869d113e1d9339ef877da1b048eeee","after":"17547e4fe06f8abf4674ba17a6f2456e1c0a8ebd","ref":"refs/heads/master","pushedAt":"2023-03-11T06:33:47.245Z","pushType":"push","commitsCount":1,"pusher":{"login":"Austaras","name":null,"path":"/Austaras","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15013925?s=80&v=4"},"commit":{"message":"fix bug","shortMessageHtmlLink":"fix bug"}},{"before":"3e4173bcc5003a96ecf660925428432fdeb5790d","after":"f8c3dfb388869d113e1d9339ef877da1b048eeee","ref":"refs/heads/master","pushedAt":"2023-03-10T09:55:41.096Z","pushType":"push","commitsCount":1,"pusher":{"login":"Austaras","name":null,"path":"/Austaras","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15013925?s=80&v=4"},"commit":{"message":"STLC with recursive type","shortMessageHtmlLink":"STLC with recursive type"}},{"before":"9118838e8f8f2d6f4f60d888d65e43b09ae7ddff","after":"3e4173bcc5003a96ecf660925428432fdeb5790d","ref":"refs/heads/master","pushedAt":"2023-03-08T02:00:55.456Z","pushType":"push","commitsCount":1,"pusher":{"login":"Austaras","name":null,"path":"/Austaras","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15013925?s=80&v=4"},"commit":{"message":"STLC with native class","shortMessageHtmlLink":"STLC with native class"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADFP2JMgA","startCursor":null,"endCursor":null}},"title":"Activity · Austaras/TAPL"}