{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":63118945,"defaultBranch":"main","name":"charm","ownerLogin":"DataKinds","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2016-07-12T02:17:42.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/6219010?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1696315926.0","currentOid":""},"activityList":{"items":[{"before":"7dff3c663c8ef8472cb59031612937e3d8336304","after":"b0502774a1bafc552cb914a7cfa787dcad70d9d9","ref":"refs/heads/main","pushedAt":"2023-10-30T02:57:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"DataKinds","name":"Tyler ","path":"/DataKinds","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6219010?s=80&v=4"},"commit":{"message":"applyAndUnify tracks stack popping now","shortMessageHtmlLink":"applyAndUnify tracks stack popping now"}},{"before":"0cfe8f3e115b2ee7c024044a0ee4cb3de1f8fb4d","after":"7dff3c663c8ef8472cb59031612937e3d8336304","ref":"refs/heads/main","pushedAt":"2023-10-30T02:31:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"DataKinds","name":"Tyler ","path":"/DataKinds","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6219010?s=80&v=4"},"commit":{"message":"Get type inferring up and running","shortMessageHtmlLink":"Get type inferring up and running"}},{"before":"ccd4b3b909a460f877094c73fe5216fed55a481d","after":"0cfe8f3e115b2ee7c024044a0ee4cb3de1f8fb4d","ref":"refs/heads/main","pushedAt":"2023-10-30T01:50:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"DataKinds","name":"Tyler ","path":"/DataKinds","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6219010?s=80&v=4"},"commit":{"message":"Buff out main, implement applyAndUnify in typechecker","shortMessageHtmlLink":"Buff out main, implement applyAndUnify in typechecker"}},{"before":"2fafc45ffc0f36f16c50de2d8b30146a0d588e7c","after":"ccd4b3b909a460f877094c73fe5216fed55a481d","ref":"refs/heads/main","pushedAt":"2023-10-24T09:11:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"DataKinds","name":"Tyler ","path":"/DataKinds","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6219010?s=80&v=4"},"commit":{"message":"Stub out type inference code","shortMessageHtmlLink":"Stub out type inference code"}},{"before":"58916752fd008c0a6ae276dabd8865560b582b0b","after":"2fafc45ffc0f36f16c50de2d8b30146a0d588e7c","ref":"refs/heads/main","pushedAt":"2023-10-24T06:03:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"DataKinds","name":"Tyler ","path":"/DataKinds","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6219010?s=80&v=4"},"commit":{"message":"Accumulate types correctly in `unify`, remove comments","shortMessageHtmlLink":"Accumulate types correctly in <code>unify</code>, remove comments"}},{"before":"324475a5225934718b45216b16790b5aa9253735","after":"58916752fd008c0a6ae276dabd8865560b582b0b","ref":"refs/heads/main","pushedAt":"2023-10-23T07:53:51.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"DataKinds","name":"Tyler ","path":"/DataKinds","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6219010?s=80&v=4"},"commit":{"message":"Put semicolon on definition, load prelude in main","shortMessageHtmlLink":"Put semicolon on definition, load prelude in main"}},{"before":"9ac28d39125444c1842be421819f994c077c8127","after":"324475a5225934718b45216b16790b5aa9253735","ref":"refs/heads/main","pushedAt":"2023-10-23T06:21:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"DataKinds","name":"Tyler ","path":"/DataKinds","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6219010?s=80&v=4"},"commit":{"message":"Implement Literate Haskell typechecker","shortMessageHtmlLink":"Implement Literate Haskell typechecker"}},{"before":"0648733b310b78fb79222162d5375b35e1553c3f","after":"9ac28d39125444c1842be421819f994c077c8127","ref":"refs/heads/main","pushedAt":"2023-10-14T02:16:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"DataKinds","name":"Tyler ","path":"/DataKinds","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6219010?s=80&v=4"},"commit":{"message":"Use unimplemented typeerror, implement typecheck functions","shortMessageHtmlLink":"Use unimplemented typeerror, implement typecheck functions"}},{"before":"dc6317e9a15853cf1af2c75a95f75e75e9a2ebf7","after":"0648733b310b78fb79222162d5375b35e1553c3f","ref":"refs/heads/main","pushedAt":"2023-10-06T09:59:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"DataKinds","name":"Tyler ","path":"/DataKinds","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6219010?s=80&v=4"},"commit":{"message":"Use TypeContext for concretize and unifyOne, write more unification rules","shortMessageHtmlLink":"Use TypeContext for concretize and unifyOne, write more unification r…"}},{"before":"9581ae4951b0e3f8b94d62b9377a8f3c8a2ae49c","after":"dc6317e9a15853cf1af2c75a95f75e75e9a2ebf7","ref":"refs/heads/main","pushedAt":"2023-10-06T05:08:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"DataKinds","name":"Tyler ","path":"/DataKinds","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6219010?s=80&v=4"},"commit":{"message":"Switch to State for TypeContext","shortMessageHtmlLink":"Switch to State for TypeContext"}},{"before":"c372dbcd1d498e009c3f7d537c95ccb3cf178fc5","after":"9581ae4951b0e3f8b94d62b9377a8f3c8a2ae49c","ref":"refs/heads/main","pushedAt":"2023-10-05T08:23:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"DataKinds","name":"Tyler ","path":"/DataKinds","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6219010?s=80&v=4"},"commit":{"message":"Implement type alternatives in parser, start on typechecker","shortMessageHtmlLink":"Implement type alternatives in parser, start on typechecker"}},{"before":"ccb5ccfeb971624e0716a3a61d500dceec48d1f9","after":"c372dbcd1d498e009c3f7d537c95ccb3cf178fc5","ref":"refs/heads/main","pushedAt":"2023-10-04T08:53:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"DataKinds","name":"Tyler ","path":"/DataKinds","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6219010?s=80&v=4"},"commit":{"message":"Implement full parser and lexer, update Stack resolver","shortMessageHtmlLink":"Implement full parser and lexer, update Stack resolver"}},{"before":"ccb5ccfeb971624e0716a3a61d500dceec48d1f9","after":null,"ref":"refs/heads/master","pushedAt":"2023-10-03T06:52:06.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"DataKinds","name":"Tyler ","path":"/DataKinds","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6219010?s=80&v=4"}},{"before":null,"after":"ccb5ccfeb971624e0716a3a61d500dceec48d1f9","ref":"refs/heads/main","pushedAt":"2023-10-03T06:52:05.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"DataKinds","name":"Tyler ","path":"/DataKinds","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6219010?s=80&v=4"},"commit":{"message":"Removed incorrect README","shortMessageHtmlLink":"Removed incorrect README"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADoqbDgwA","startCursor":null,"endCursor":null}},"title":"Activity · DataKinds/charm"}