{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":56497587,"defaultBranch":"master","name":"lamdu-calculus","ownerLogin":"lamdu","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2016-04-18T10:09:14.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/13840193?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1612971462.073729","currentOid":""},"activityList":{"items":[{"before":"93a80fc9c4c36c38a6f055b01f449acc7bc55754","after":"21332a4c1576ad028bbb693b23e8943089256ef8","ref":"refs/heads/master","pushedAt":"2023-06-01T16:35:47.411Z","pushType":"push","commitsCount":2,"pusher":{"login":"yairchu","name":"Yair Chuchem","path":"/yairchu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/97606?s=80&v=4"},"commit":{"message":"PureInfer error type is (T.TypeError # UVar), will allow Lamdu to elaborate on escaped skolems","shortMessageHtmlLink":"PureInfer error type is (T.TypeError # UVar), will allow Lamdu to ela…"}},{"before":"2ac6bafd0657e8aa2728da2ffe8e149137a9782b","after":"93a80fc9c4c36c38a6f055b01f449acc7bc55754","ref":"refs/heads/master","pushedAt":"2023-06-01T10:56:57.936Z","pushType":"push","commitsCount":1,"pusher":{"login":"yairchu","name":"Yair Chuchem","path":"/yairchu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/97606?s=80&v=4"},"commit":{"message":"Update deps","shortMessageHtmlLink":"Update deps"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADONwTkgA","startCursor":null,"endCursor":null}},"title":"Activity · lamdu/lamdu-calculus"}