{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":748541508,"defaultBranch":"master","name":"lambda-calculus","ownerLogin":"WalterSmuts","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2024-01-26T07:56:34.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/17950515?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1714743364.0","currentOid":""},"activityList":{"items":[{"before":"d88576290df7966ef6ece44f6e93c5dae7adbc9c","after":"f71a6f05acc2f91f514860de4cecb3bbe0994991","ref":"refs/heads/types","pushedAt":"2024-07-05T08:14:34.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"WalterSmuts","name":"Walter Smuts","path":"/WalterSmuts","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17950515?s=80&v=4"},"commit":{"message":"Add type checking","shortMessageHtmlLink":"Add type checking"}},{"before":"6291775ef47e1b161dee406f92b597914ba74496","after":"d88576290df7966ef6ece44f6e93c5dae7adbc9c","ref":"refs/heads/types","pushedAt":"2024-06-24T06:54:53.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"WalterSmuts","name":"Walter Smuts","path":"/WalterSmuts","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17950515?s=80&v=4"},"commit":{"message":"Add type checking","shortMessageHtmlLink":"Add type checking"}},{"before":"83bb0c58217f56626e3976b24f89e312ff4171a0","after":"6291775ef47e1b161dee406f92b597914ba74496","ref":"refs/heads/types","pushedAt":"2024-06-15T14:48:35.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"WalterSmuts","name":"Walter Smuts","path":"/WalterSmuts","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17950515?s=80&v=4"},"commit":{"message":"Add type checking","shortMessageHtmlLink":"Add type checking"}},{"before":"5a4869a27070738ca0f9b5fbc6a64f51f5d0b2bc","after":"fd7abaef189ffb328eda7c4a70f10468eb9ec9ab","ref":"refs/heads/master","pushedAt":"2024-05-03T14:33:16.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"WalterSmuts","name":"Walter Smuts","path":"/WalterSmuts","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17950515?s=80&v=4"},"commit":{"message":"Represent alpha-converted variables using optional","shortMessageHtmlLink":"Represent alpha-converted variables using optional"}},{"before":"7da45526b3468d99fde9e7be2a7ea7c3d9b8a055","after":null,"ref":"refs/heads/let-bindings","pushedAt":"2024-05-03T13:36:04.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"WalterSmuts","name":"Walter Smuts","path":"/WalterSmuts","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17950515?s=80&v=4"}},{"before":"6eceb06230c0adc4c738cae894d316c9cb0b37fc","after":"5a4869a27070738ca0f9b5fbc6a64f51f5d0b2bc","ref":"refs/heads/master","pushedAt":"2024-05-03T13:35:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"WalterSmuts","name":"Walter Smuts","path":"/WalterSmuts","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17950515?s=80&v=4"},"commit":{"message":"Implement let-bindings","shortMessageHtmlLink":"Implement let-bindings"}},{"before":null,"after":"7da45526b3468d99fde9e7be2a7ea7c3d9b8a055","ref":"refs/heads/let-bindings","pushedAt":"2024-05-02T19:16:09.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"WalterSmuts","name":"Walter Smuts","path":"/WalterSmuts","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17950515?s=80&v=4"},"commit":{"message":"WHOOT! It works :)","shortMessageHtmlLink":"WHOOT! It works :)"}},{"before":null,"after":"83bb0c58217f56626e3976b24f89e312ff4171a0","ref":"refs/heads/types","pushedAt":"2024-05-02T19:16:09.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"WalterSmuts","name":"Walter Smuts","path":"/WalterSmuts","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17950515?s=80&v=4"},"commit":{"message":"Add type checking","shortMessageHtmlLink":"Add type checking"}},{"before":"0fa44c6de2261dac197678e84443c3c45a11b828","after":"6eceb06230c0adc4c738cae894d316c9cb0b37fc","ref":"refs/heads/master","pushedAt":"2024-04-06T12:22:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"WalterSmuts","name":"Walter Smuts","path":"/WalterSmuts","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17950515?s=80&v=4"},"commit":{"message":"Fix test variable names","shortMessageHtmlLink":"Fix test variable names"}},{"before":"868c291fb3103bc163b3a66cccd577c315b1f67a","after":"0fa44c6de2261dac197678e84443c3c45a11b828","ref":"refs/heads/master","pushedAt":"2024-04-06T07:27:50.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"WalterSmuts","name":"Walter Smuts","path":"/WalterSmuts","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17950515?s=80&v=4"},"commit":{"message":"Add conversions to bool types","shortMessageHtmlLink":"Add conversions to bool types"}},{"before":"7a38103bf94973abaf218c1d304f020d75cc49e8","after":"868c291fb3103bc163b3a66cccd577c315b1f67a","ref":"refs/heads/master","pushedAt":"2024-02-18T19:42:49.000Z","pushType":"push","commitsCount":8,"pusher":{"login":"WalterSmuts","name":"Walter Smuts","path":"/WalterSmuts","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17950515?s=80&v=4"},"commit":{"message":"Add rust format configuration and apply formatting","shortMessageHtmlLink":"Add rust format configuration and apply formatting"}},{"before":"52af3199db08387e571a4d34b082be4162c7c5b1","after":"7a38103bf94973abaf218c1d304f020d75cc49e8","ref":"refs/heads/master","pushedAt":"2024-02-17T19:03:48.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"WalterSmuts","name":"Walter Smuts","path":"/WalterSmuts","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17950515?s=80&v=4"},"commit":{"message":"Add term to nat conversion","shortMessageHtmlLink":"Add term to nat conversion"}},{"before":"7802a7b73a1413d201cf0378141cc1eef9a1b356","after":"52af3199db08387e571a4d34b082be4162c7c5b1","ref":"refs/heads/master","pushedAt":"2024-02-13T06:36:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"WalterSmuts","name":"Walter Smuts","path":"/WalterSmuts","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17950515?s=80&v=4"},"commit":{"message":"Add support for natural numbers parsing","shortMessageHtmlLink":"Add support for natural numbers parsing"}},{"before":"95b6d165733dc4a3570c1e716ef5acda4db06824","after":"7802a7b73a1413d201cf0378141cc1eef9a1b356","ref":"refs/heads/master","pushedAt":"2024-02-11T11:19:31.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"WalterSmuts","name":"Walter Smuts","path":"/WalterSmuts","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17950515?s=80&v=4"},"commit":{"message":"Implement reduction\n\nProbably still has issue with variable name collisions changing\nsemantics","shortMessageHtmlLink":"Implement reduction"}},{"before":"ee604c91440452e21952ac31206c132f2f373511","after":"95b6d165733dc4a3570c1e716ef5acda4db06824","ref":"refs/heads/master","pushedAt":"2024-02-10T15:57:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"WalterSmuts","name":"Walter Smuts","path":"/WalterSmuts","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17950515?s=80&v=4"},"commit":{"message":"Add roundtrip test","shortMessageHtmlLink":"Add roundtrip test"}},{"before":"b5ca190b0c3649985a50190e14d4f87334b65a8e","after":"ee604c91440452e21952ac31206c132f2f373511","ref":"refs/heads/master","pushedAt":"2024-02-10T15:50:36.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"WalterSmuts","name":"Walter Smuts","path":"/WalterSmuts","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17950515?s=80&v=4"},"commit":{"message":"Add parenthesis support","shortMessageHtmlLink":"Add parenthesis support"}},{"before":"f2292dfcd5bbea47e7e45da25e1b75253119964d","after":"b5ca190b0c3649985a50190e14d4f87334b65a8e","ref":"refs/heads/master","pushedAt":"2024-02-10T15:48:53.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"WalterSmuts","name":"Walter Smuts","path":"/WalterSmuts","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17950515?s=80&v=4"},"commit":{"message":"Add parenthesis support","shortMessageHtmlLink":"Add parenthesis support"}},{"before":null,"after":"9b7eeba336690975bf5c8dcf2f5136868005e3f4","ref":"refs/heads/wip","pushedAt":"2024-01-26T07:57:16.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"WalterSmuts","name":"Walter Smuts","path":"/WalterSmuts","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17950515?s=80&v=4"},"commit":{"message":"WIP","shortMessageHtmlLink":"WIP"}},{"before":null,"after":"f2292dfcd5bbea47e7e45da25e1b75253119964d","ref":"refs/heads/master","pushedAt":"2024-01-26T07:57:16.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"WalterSmuts","name":"Walter Smuts","path":"/WalterSmuts","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17950515?s=80&v=4"},"commit":{"message":"Rework parsing of applicaiton","shortMessageHtmlLink":"Rework parsing of applicaiton"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0wNVQwODoxNDozNC4wMDAwMDBazwAAAAR3kcx2","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0wNVQwODoxNDozNC4wMDAwMDBazwAAAAR3kcx2","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMS0yNlQwNzo1NzoxNi4wMDAwMDBazwAAAAPpqTnu"}},"title":"Activity · WalterSmuts/lambda-calculus"}