{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":326840387,"defaultBranch":"main","name":"Lambda-Calculus","ownerLogin":"Demuirgos","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-01-05T00:17:31.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/59487204?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1688087168.0","currentOid":""},"activityList":{"items":[{"before":"d99e7204bfaa814b827b49ae891bd04de94d42bd","after":null,"ref":"refs/heads/type-system-types-as-values-syntax","pushedAt":"2023-06-30T01:06:08.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Demuirgos","name":"Ayman Bouchareb","path":"/Demuirgos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59487204?s=80&v=4"}},{"before":"8fea40ebaddffb5b8b0ddf96db9201ec62e8831c","after":"9d9a40889d4335d58831c5e8fec9ee551492727a","ref":"refs/heads/type-system-experiment","pushedAt":"2023-06-30T01:06:06.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"Demuirgos","name":"Ayman Bouchareb","path":"/Demuirgos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59487204?s=80&v=4"},"commit":{"message":"Merge pull request #36 from Demuirgos/type-system-types-as-values-syntax\n\nminor experimentations","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1781690745\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Demuirgos/Lambda-Calculus/issues/36\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Demuirgos/Lambda-Calculus/pull/36/hovercard\" href=\"https://github.com/Demuirgos/Lambda-Calculus/pull/36\">#36</a> from Demuirgos/type-system-types-as-values-syntax"}},{"before":"afccf126f9ea8f14b420fee81712a521c81953db","after":"d99e7204bfaa814b827b49ae891bd04de94d42bd","ref":"refs/heads/type-system-types-as-values-syntax","pushedAt":"2023-06-30T01:05:56.000Z","pushType":"push","commitsCount":13,"pusher":{"login":"Demuirgos","name":"Ayman Bouchareb","path":"/Demuirgos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59487204?s=80&v=4"},"commit":{"message":"Merge branch 'type-system-experiment' into type-system-types-as-values-syntax","shortMessageHtmlLink":"Merge branch 'type-system-experiment' into type-system-types-as-value…"}},{"before":"33f9a9214d5268499b3133f1fd11546d0e2e3632","after":"8fea40ebaddffb5b8b0ddf96db9201ec62e8831c","ref":"refs/heads/type-system-experiment","pushedAt":"2023-06-23T01:17:26.363Z","pushType":"push","commitsCount":1,"pusher":{"login":"Demuirgos","name":"Ayman Bouchareb","path":"/Demuirgos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59487204?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":null,"after":"afccf126f9ea8f14b420fee81712a521c81953db","ref":"refs/heads/type-system-types-as-values-syntax","pushedAt":"2023-06-23T01:14:36.213Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Demuirgos","name":"Ayman Bouchareb","path":"/Demuirgos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59487204?s=80&v=4"},"commit":{"message":"minor experimentations","shortMessageHtmlLink":"minor experimentations"}},{"before":"261b0d0872633fb4367b7d705ae472294fde90f4","after":"33f9a9214d5268499b3133f1fd11546d0e2e3632","ref":"refs/heads/type-system-experiment","pushedAt":"2023-05-30T20:05:05.916Z","pushType":"push","commitsCount":1,"pusher":{"login":"Demuirgos","name":"Ayman Bouchareb","path":"/Demuirgos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59487204?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"66f84eb4b789dacd81e467573ccd0315318c5d5b","after":"261b0d0872633fb4367b7d705ae472294fde90f4","ref":"refs/heads/type-system-experiment","pushedAt":"2023-05-26T00:23:25.539Z","pushType":"push","commitsCount":1,"pusher":{"login":"Demuirgos","name":"Ayman Bouchareb","path":"/Demuirgos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59487204?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"598f530ca14f245bbef7dc06502c5e6499554a9e","after":"66f84eb4b789dacd81e467573ccd0315318c5d5b","ref":"refs/heads/type-system-experiment","pushedAt":"2023-05-25T19:48:45.890Z","pushType":"push","commitsCount":1,"pusher":{"login":"Demuirgos","name":"Ayman Bouchareb","path":"/Demuirgos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59487204?s=80&v=4"},"commit":{"message":"added type checking fallback, match","shortMessageHtmlLink":"added type checking fallback, match"}},{"before":"781cd4cf26fb0d5b6de3277377da394e00d61e7c","after":"598f530ca14f245bbef7dc06502c5e6499554a9e","ref":"refs/heads/type-system-experiment","pushedAt":"2023-05-25T19:23:17.728Z","pushType":"push","commitsCount":2,"pusher":{"login":"Demuirgos","name":"Ayman Bouchareb","path":"/Demuirgos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59487204?s=80&v=4"},"commit":{"message":"Merge branch 'type-system-experiment' of https://github.com/Demuirgos/Lambda-Calculus into type-system-experiment","shortMessageHtmlLink":"Merge branch 'type-system-experiment' of <a href=\"https://github.com/Demuirgos/Lambda-Calculus\">https://github.com/Demuirgos…</a>"}},{"before":"6c67f705b91de798038695c0099dda7dd89a7d47","after":"781cd4cf26fb0d5b6de3277377da394e00d61e7c","ref":"refs/heads/type-system-experiment","pushedAt":"2023-05-25T00:38:13.342Z","pushType":"push","commitsCount":1,"pusher":{"login":"Demuirgos","name":"Ayman Bouchareb","path":"/Demuirgos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59487204?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"95df3e477d52875b8f9ec5ad72230788b8c7f7db","after":null,"ref":"refs/heads/type-system-types-as-values-syntax","pushedAt":"2023-05-25T00:34:43.278Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Demuirgos","name":"Ayman Bouchareb","path":"/Demuirgos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59487204?s=80&v=4"}},{"before":"00bb47d8038dcd74485555f69e10beac536c6f76","after":"6c67f705b91de798038695c0099dda7dd89a7d47","ref":"refs/heads/type-system-experiment","pushedAt":"2023-05-25T00:34:38.721Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"Demuirgos","name":"Ayman Bouchareb","path":"/Demuirgos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59487204?s=80&v=4"},"commit":{"message":"Merge pull request #35 from Demuirgos/type-system-types-as-values-syntax\n\nAdds match expression prototype","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1724907666\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Demuirgos/Lambda-Calculus/issues/35\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Demuirgos/Lambda-Calculus/pull/35/hovercard\" href=\"https://github.com/Demuirgos/Lambda-Calculus/pull/35\">#35</a> from Demuirgos/type-system-types-as-values-syntax"}},{"before":"c53f56319dbe7a26cfa2266cc1a0b7cb80ca2c58","after":"95df3e477d52875b8f9ec5ad72230788b8c7f7db","ref":"refs/heads/type-system-types-as-values-syntax","pushedAt":"2023-05-25T00:33:31.780Z","pushType":"push","commitsCount":1,"pusher":{"login":"Demuirgos","name":"Ayman Bouchareb","path":"/Demuirgos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59487204?s=80&v=4"},"commit":{"message":"fix match fallthrough bug","shortMessageHtmlLink":"fix match fallthrough bug"}},{"before":"55edad9e919eb32b0cdc0bf25f61b5a0ddf2c2a7","after":"c53f56319dbe7a26cfa2266cc1a0b7cb80ca2c58","ref":"refs/heads/type-system-types-as-values-syntax","pushedAt":"2023-05-25T00:22:52.152Z","pushType":"push","commitsCount":1,"pusher":{"login":"Demuirgos","name":"Ayman Bouchareb","path":"/Demuirgos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59487204?s=80&v=4"},"commit":{"message":"Attempt fix support for match, todo : add fallback case","shortMessageHtmlLink":"Attempt fix support for match, todo : add fallback case"}},{"before":"c270a098d333de4dd19546d20159e90ae1ff8ed7","after":"55edad9e919eb32b0cdc0bf25f61b5a0ddf2c2a7","ref":"refs/heads/type-system-types-as-values-syntax","pushedAt":"2023-05-24T15:42:48.450Z","pushType":"push","commitsCount":1,"pusher":{"login":"Demuirgos","name":"Ayman Bouchareb","path":"/Demuirgos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59487204?s=80&v=4"},"commit":{"message":"attempting to add match expression (need to handle union type checking)","shortMessageHtmlLink":"attempting to add match expression (need to handle union type checking)"}},{"before":"92e555be985c569909788ba4b3a1377694ba395b","after":"00bb47d8038dcd74485555f69e10beac536c6f76","ref":"refs/heads/type-system-experiment","pushedAt":"2023-05-23T09:50:00.918Z","pushType":"push","commitsCount":1,"pusher":{"login":"Demuirgos","name":"Ayman Bouchareb","path":"/Demuirgos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59487204?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"f6c54beef5c4c02f8956c98f46f83c47a9ed6ed2","after":"92e555be985c569909788ba4b3a1377694ba395b","ref":"refs/heads/type-system-experiment","pushedAt":"2023-05-23T09:49:38.574Z","pushType":"push","commitsCount":1,"pusher":{"login":"Demuirgos","name":"Ayman Bouchareb","path":"/Demuirgos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59487204?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"932d2b7a87838c37a0c1b3af64b259a36c1cc997","after":"f6c54beef5c4c02f8956c98f46f83c47a9ed6ed2","ref":"refs/heads/type-system-experiment","pushedAt":"2023-05-23T09:49:25.260Z","pushType":"push","commitsCount":1,"pusher":{"login":"Demuirgos","name":"Ayman Bouchareb","path":"/Demuirgos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59487204?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"c9bcb2dee28995b1f6cfe629bca400a8eb73280a","after":"932d2b7a87838c37a0c1b3af64b259a36c1cc997","ref":"refs/heads/type-system-experiment","pushedAt":"2023-05-23T09:46:58.663Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"Demuirgos","name":"Ayman Bouchareb","path":"/Demuirgos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59487204?s=80&v=4"},"commit":{"message":"Merge pull request #33 from Demuirgos/type-system-types-as-values-syntax\n\nType system types as values syntax","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1720569384\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Demuirgos/Lambda-Calculus/issues/33\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Demuirgos/Lambda-Calculus/pull/33/hovercard\" href=\"https://github.com/Demuirgos/Lambda-Calculus/pull/33\">#33</a> from Demuirgos/type-system-types-as-values-syntax"}},{"before":"602a0d32fa0908d2b10cbcd20778edc56a530a9e","after":"c270a098d333de4dd19546d20159e90ae1ff8ed7","ref":"refs/heads/type-system-types-as-values-syntax","pushedAt":"2023-05-22T21:12:13.565Z","pushType":"push","commitsCount":1,"pusher":{"login":"Demuirgos","name":"Ayman Bouchareb","path":"/Demuirgos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59487204?s=80&v=4"},"commit":{"message":"updated examples","shortMessageHtmlLink":"updated examples"}},{"before":null,"after":"602a0d32fa0908d2b10cbcd20778edc56a530a9e","ref":"refs/heads/type-system-types-as-values-syntax","pushedAt":"2023-05-22T20:36:51.996Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Demuirgos","name":"Ayman Bouchareb","path":"/Demuirgos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59487204?s=80&v=4"},"commit":{"message":"removed type keyword, added type declaration context to let bindings","shortMessageHtmlLink":"removed type keyword, added type declaration context to let bindings"}},{"before":"c203a40c290e8914fd35b2880eaeb37ccb39907c","after":"c9bcb2dee28995b1f6cfe629bca400a8eb73280a","ref":"refs/heads/type-system-experiment","pushedAt":"2023-05-22T18:15:44.330Z","pushType":"push","commitsCount":1,"pusher":{"login":"Demuirgos","name":"Ayman Bouchareb","path":"/Demuirgos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59487204?s=80&v=4"},"commit":{"message":"aligned record creation and struct creation syntax regarding last semicolon","shortMessageHtmlLink":"aligned record creation and struct creation syntax regarding last sem…"}},{"before":"aecfec949a651640fad41e7c73aeaa1a60db5a09","after":"c203a40c290e8914fd35b2880eaeb37ccb39907c","ref":"refs/heads/type-system-experiment","pushedAt":"2023-05-21T22:01:55.359Z","pushType":"push","commitsCount":1,"pusher":{"login":"Demuirgos","name":"Ayman Bouchareb","path":"/Demuirgos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59487204?s=80&v=4"},"commit":{"message":"made JS mode output compatible with js console","shortMessageHtmlLink":"made JS mode output compatible with js console"}},{"before":"7c59e9e6241dee2dd1fdd534225ae690ab9f2b4a","after":"aecfec949a651640fad41e7c73aeaa1a60db5a09","ref":"refs/heads/type-system-experiment","pushedAt":"2023-05-21T21:58:03.329Z","pushType":"push","commitsCount":1,"pusher":{"login":"Demuirgos","name":"Ayman Bouchareb","path":"/Demuirgos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59487204?s=80&v=4"},"commit":{"message":"fix loose struct type checking","shortMessageHtmlLink":"fix loose struct type checking"}},{"before":"6bc499eb22f69f72b33aa1ef6cb9333a66e1260c","after":"7c59e9e6241dee2dd1fdd534225ae690ab9f2b4a","ref":"refs/heads/type-system-experiment","pushedAt":"2023-05-21T19:55:02.993Z","pushType":"push","commitsCount":1,"pusher":{"login":"Demuirgos","name":"Ayman Bouchareb","path":"/Demuirgos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59487204?s=80&v=4"},"commit":{"message":"import types from external files","shortMessageHtmlLink":"import types from external files"}},{"before":"fd0d32e304435c3b3456cf1450656530f60b42df","after":"6bc499eb22f69f72b33aa1ef6cb9333a66e1260c","ref":"refs/heads/type-system-experiment","pushedAt":"2023-05-20T20:55:22.388Z","pushType":"push","commitsCount":1,"pusher":{"login":"Demuirgos","name":"Ayman Bouchareb","path":"/Demuirgos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59487204?s=80&v=4"},"commit":{"message":"added experimental special dot operator for tuples and records","shortMessageHtmlLink":"added experimental special dot operator for tuples and records"}},{"before":"3befda3bf29b4985e4c5b1180917912d478f1dc7","after":"fd0d32e304435c3b3456cf1450656530f60b42df","ref":"refs/heads/type-system-experiment","pushedAt":"2023-05-20T13:28:48.445Z","pushType":"push","commitsCount":1,"pusher":{"login":"Demuirgos","name":"Ayman Bouchareb","path":"/Demuirgos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59487204?s=80&v=4"},"commit":{"message":"removed debug printf","shortMessageHtmlLink":"removed debug printf"}},{"before":"952526937f5263a05f6e57a0a59108242b49f6f0","after":"3befda3bf29b4985e4c5b1180917912d478f1dc7","ref":"refs/heads/type-system-experiment","pushedAt":"2023-05-20T13:18:46.436Z","pushType":"push","commitsCount":1,"pusher":{"login":"Demuirgos","name":"Ayman Bouchareb","path":"/Demuirgos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59487204?s=80&v=4"},"commit":{"message":"fixing type checking","shortMessageHtmlLink":"fixing type checking"}},{"before":"9383b3ccbc60ea0ddf9f2871c51fd36d2abaa3ab","after":"952526937f5263a05f6e57a0a59108242b49f6f0","ref":"refs/heads/type-system-experiment","pushedAt":"2023-05-19T22:23:33.178Z","pushType":"push","commitsCount":1,"pusher":{"login":"Demuirgos","name":"Ayman Bouchareb","path":"/Demuirgos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59487204?s=80&v=4"},"commit":{"message":"added more type checking rules implementation","shortMessageHtmlLink":"added more type checking rules implementation"}},{"before":"06939e7e2ba9621c16ac462973d2fc4620cced4c","after":"9383b3ccbc60ea0ddf9f2871c51fd36d2abaa3ab","ref":"refs/heads/type-system-experiment","pushedAt":"2023-05-19T21:25:22.728Z","pushType":"push","commitsCount":1,"pusher":{"login":"Demuirgos","name":"Ayman Bouchareb","path":"/Demuirgos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/59487204?s=80&v=4"},"commit":{"message":"added alias \"de-aliasing\"","shortMessageHtmlLink":"added alias \"de-aliasing\""}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADS--HgAA","startCursor":null,"endCursor":null}},"title":"Activity · Demuirgos/Lambda-Calculus"}