{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":145913607,"defaultBranch":"master","name":"Interaction-Calculus","ownerLogin":"VictorTaelin","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2018-08-23T22:26:09.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/13090166?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1688409276.0","currentOid":""},"activityList":{"items":[{"before":"9016a0175d7b7a76fd4af6754a8e5f5d9b74509d","after":"0ad59c55e76f33815de0f9c0e2e85a04c6044445","ref":"refs/heads/master","pushedAt":"2023-12-06T14:53:42.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"VictorTaelin","name":"Victor Taelin","path":"/VictorTaelin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13090166?s=80&v=4"},"commit":{"message":"Merge pull request #19 from kings177/patch-1\n\nUpdate README.md","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2028715111\" data-permission-text=\"Title is private\" data-url=\"https://github.com/VictorTaelin/Interaction-Calculus/issues/19\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/VictorTaelin/Interaction-Calculus/pull/19/hovercard\" href=\"https://github.com/VictorTaelin/Interaction-Calculus/pull/19\">#19</a> from kings177/patch-1"}},{"before":"dbd89e59c0c6da35d216593256a0f8a11133e3f4","after":"9016a0175d7b7a76fd4af6754a8e5f5d9b74509d","ref":"refs/heads/master","pushedAt":"2023-07-10T18:16:55.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"VictorTaelin","name":"Victor Taelin","path":"/VictorTaelin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13090166?s=80&v=4"},"commit":{"message":"Move Interaction Type Theory experiments to another repo","shortMessageHtmlLink":"Move Interaction Type Theory experiments to another repo"}},{"before":"731bb3d7e0472113f97afb8d5b99dac73af16e32","after":"dbd89e59c0c6da35d216593256a0f8a11133e3f4","ref":"refs/heads/master","pushedAt":"2023-07-10T18:11:55.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"VictorTaelin","name":"Victor Taelin","path":"/VictorTaelin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13090166?s=80&v=4"},"commit":{"message":"code improvements","shortMessageHtmlLink":"code improvements"}},{"before":"674b1e52f237527409a531ace734f59f533a5ffe","after":"bd29b18db5102253827abe1e704e43d31b166ff7","ref":"refs/heads/typed","pushedAt":"2023-07-08T15:38:10.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"VictorTaelin","name":"Victor Taelin","path":"/VictorTaelin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13090166?s=80&v=4"},"commit":{"message":"ITT basis","shortMessageHtmlLink":"ITT basis"}},{"before":"ec75fd8495d14c2178c17590d1a29deb68eb7150","after":"674b1e52f237527409a531ace734f59f533a5ffe","ref":"refs/heads/typed","pushedAt":"2023-07-06T14:55:24.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"VictorTaelin","name":"Victor Taelin","path":"/VictorTaelin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13090166?s=80&v=4"},"commit":{"message":"ITT basis","shortMessageHtmlLink":"ITT basis"}},{"before":null,"after":"ec75fd8495d14c2178c17590d1a29deb68eb7150","ref":"refs/heads/typed-snapshot","pushedAt":"2023-07-03T18:34:36.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"VictorTaelin","name":"Victor Taelin","path":"/VictorTaelin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13090166?s=80&v=4"},"commit":{"message":"gentrees.png","shortMessageHtmlLink":"gentrees.png"}},{"before":"67bf55a3c11a14a5f7766bf37f9db370993552f8","after":"ec75fd8495d14c2178c17590d1a29deb68eb7150","ref":"refs/heads/typed","pushedAt":"2023-06-28T03:49:04.928Z","pushType":"push","commitsCount":3,"pusher":{"login":"VictorTaelin","name":"Victor Taelin","path":"/VictorTaelin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13090166?s=80&v=4"},"commit":{"message":"gentrees.png","shortMessageHtmlLink":"gentrees.png"}},{"before":"ceb2c59827507f54bc9e08a50f8b0b56e2148e14","after":"67bf55a3c11a14a5f7766bf37f9db370993552f8","ref":"refs/heads/typed","pushedAt":"2023-06-27T19:23:32.204Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"VictorTaelin","name":"Victor Taelin","path":"/VictorTaelin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13090166?s=80&v=4"},"commit":{"message":"Merge pull request #14 from Derenash/typed\n\nFixed not skipping whitespaces on application","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1770401433\" data-permission-text=\"Title is private\" data-url=\"https://github.com/VictorTaelin/Interaction-Calculus/issues/14\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/VictorTaelin/Interaction-Calculus/pull/14/hovercard\" href=\"https://github.com/VictorTaelin/Interaction-Calculus/pull/14\">#14</a> from Derenash/typed"}},{"before":"dbd89e59c0c6da35d216593256a0f8a11133e3f4","after":"731bb3d7e0472113f97afb8d5b99dac73af16e32","ref":"refs/heads/master","pushedAt":"2023-06-21T15:04:19.477Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"VictorTaelin","name":"Victor Taelin","path":"/VictorTaelin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13090166?s=80&v=4"},"commit":{"message":"Merge pull request #13 from kings177/master\n\nfix: HOC/hvm link","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1766005365\" data-permission-text=\"Title is private\" data-url=\"https://github.com/VictorTaelin/Interaction-Calculus/issues/13\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/VictorTaelin/Interaction-Calculus/pull/13/hovercard\" href=\"https://github.com/VictorTaelin/Interaction-Calculus/pull/13\">#13</a> from kings177/master"}},{"before":"f932136fac0040683b928f93d2c7fccd482b7aa8","after":"ceb2c59827507f54bc9e08a50f8b0b56e2148e14","ref":"refs/heads/typed","pushedAt":"2023-06-20T18:45:27.852Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"VictorTaelin","name":"Victor Taelin","path":"/VictorTaelin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13090166?s=80&v=4"},"commit":{"message":"Merge pull request #12 from Derenash/typed\n\nAdded logs to equal.rs","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1764177966\" data-permission-text=\"Title is private\" data-url=\"https://github.com/VictorTaelin/Interaction-Calculus/issues/12\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/VictorTaelin/Interaction-Calculus/pull/12/hovercard\" href=\"https://github.com/VictorTaelin/Interaction-Calculus/pull/12\">#12</a> from Derenash/typed"}},{"before":"70f0e0a1318c40dd49e7c535b2b90c96a93b61fc","after":"f932136fac0040683b928f93d2c7fccd482b7aa8","ref":"refs/heads/typed","pushedAt":"2023-06-19T19:58:14.566Z","pushType":"push","commitsCount":1,"pusher":{"login":"VictorTaelin","name":"Victor Taelin","path":"/VictorTaelin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13090166?s=80&v=4"},"commit":{"message":"equal label parser","shortMessageHtmlLink":"equal label parser"}},{"before":"cc5d2cd2a8f14da7e5909950f336140f0b5221b5","after":"70f0e0a1318c40dd49e7c535b2b90c96a93b61fc","ref":"refs/heads/typed","pushedAt":"2023-06-19T19:55:03.896Z","pushType":"push","commitsCount":1,"pusher":{"login":"VictorTaelin","name":"Victor Taelin","path":"/VictorTaelin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13090166?s=80&v=4"},"commit":{"message":"add show debug","shortMessageHtmlLink":"add show debug"}},{"before":"02769e21997f4b34b4443a274462349b58be42b6","after":"cc5d2cd2a8f14da7e5909950f336140f0b5221b5","ref":"refs/heads/typed","pushedAt":"2023-06-17T15:47:04.265Z","pushType":"push","commitsCount":1,"pusher":{"login":"VictorTaelin","name":"Victor Taelin","path":"/VictorTaelin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13090166?s=80&v=4"},"commit":{"message":"syntax for inets","shortMessageHtmlLink":"syntax for inets"}},{"before":"2f0c779aaac09ef715979f71882d48bf071d4097","after":"02769e21997f4b34b4443a274462349b58be42b6","ref":"refs/heads/typed","pushedAt":"2023-06-01T02:33:24.720Z","pushType":"push","commitsCount":1,"pusher":{"login":"VictorTaelin","name":"Victor Taelin","path":"/VictorTaelin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13090166?s=80&v=4"},"commit":{"message":"Fixed point equality via T6's theorem\n\nAs proven by T6 on HOC's discord,\n\n@x (f x) == @x (g x)\n\nWhich doesn't terminate normally, is equivalent to:\n\n@x (f (g x)) == @x (g (f x))\n\nWhich terminates when both signals reach the same FIX node:\n\nhttps://twitter.com/VictorTaelin/status/1659724812057452549\n\nI don't think this is the most general way to check fixed point\nequality, but it works, which is amazing.","shortMessageHtmlLink":"Fixed point equality via T6's theorem"}},{"before":"1ee1021639a56534a50aaaf354cc7216236aff14","after":"2f0c779aaac09ef715979f71882d48bf071d4097","ref":"refs/heads/typed","pushedAt":"2023-05-31T04:29:07.584Z","pushType":"push","commitsCount":2,"pusher":{"login":"VictorTaelin","name":"Victor Taelin","path":"/VictorTaelin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13090166?s=80&v=4"},"commit":{"message":"Merge branch 'typed' of github.com:VictorTaelin/symmetric-interaction-calculus into typed","shortMessageHtmlLink":"Merge branch 'typed' of github.com:VictorTaelin/symmetric-interaction…"}},{"before":"3ded95b8b27a3ce74039976cdfb13faca0b81299","after":"1ee1021639a56534a50aaaf354cc7216236aff14","ref":"refs/heads/typed","pushedAt":"2023-05-31T02:58:01.742Z","pushType":"push","commitsCount":1,"pusher":{"login":"VictorTaelin","name":"Victor Taelin","path":"/VictorTaelin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13090166?s=80&v=4"},"commit":{"message":"Interaction Equality","shortMessageHtmlLink":"Interaction Equality"}},{"before":null,"after":"3ded95b8b27a3ce74039976cdfb13faca0b81299","ref":"refs/heads/typed","pushedAt":"2023-05-19T18:35:59.737Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"VictorTaelin","name":"Victor Taelin","path":"/VictorTaelin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13090166?s=80&v=4"},"commit":{"message":"code improvements","shortMessageHtmlLink":"code improvements"}},{"before":"d77d4e2c7e61b3c8a697edd2f6ed574ffecf3377","after":"dbd89e59c0c6da35d216593256a0f8a11133e3f4","ref":"refs/heads/master","pushedAt":"2023-05-19T18:34:35.365Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"VictorTaelin","name":"Victor Taelin","path":"/VictorTaelin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13090166?s=80&v=4"},"commit":{"message":"code improvements","shortMessageHtmlLink":"code improvements"}},{"before":"227230746f720dd6b9717ee03649a6e11f7f1ab3","after":"d77d4e2c7e61b3c8a697edd2f6ed574ffecf3377","ref":"refs/heads/master","pushedAt":"2023-05-19T18:14:40.717Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"VictorTaelin","name":"Victor Taelin","path":"/VictorTaelin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13090166?s=80&v=4"},"commit":{"message":"code improvements","shortMessageHtmlLink":"code improvements"}},{"before":"639a67e714616bafb4252870eef20953084ec58e","after":"227230746f720dd6b9717ee03649a6e11f7f1ab3","ref":"refs/heads/master","pushedAt":"2023-05-19T18:09:57.639Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"VictorTaelin","name":"Victor Taelin","path":"/VictorTaelin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13090166?s=80&v=4"},"commit":{"message":"code improvements","shortMessageHtmlLink":"code improvements"}},{"before":"ae8144350ea7973def41e4527553357e1202e8ef","after":"639a67e714616bafb4252870eef20953084ec58e","ref":"refs/heads/master","pushedAt":"2023-05-19T18:05:55.336Z","pushType":"push","commitsCount":1,"pusher":{"login":"VictorTaelin","name":"Victor Taelin","path":"/VictorTaelin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13090166?s=80&v=4"},"commit":{"message":"code improvements","shortMessageHtmlLink":"code improvements"}},{"before":"fe81f0742756420c6efcd17cb31959eb7c85b955","after":"ae8144350ea7973def41e4527553357e1202e8ef","ref":"refs/heads/master","pushedAt":"2023-05-18T21:23:40.268Z","pushType":"push","commitsCount":1,"pusher":{"login":"VictorTaelin","name":"Victor Taelin","path":"/VictorTaelin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13090166?s=80&v=4"},"commit":{"message":"Organization","shortMessageHtmlLink":"Organization"}},{"before":"e52eb41b0e8a18ea57ed0298324f2d09100bfada","after":"fe81f0742756420c6efcd17cb31959eb7c85b955","ref":"refs/heads/master","pushedAt":"2023-05-18T01:21:46.134Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"VictorTaelin","name":"Victor Taelin","path":"/VictorTaelin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13090166?s=80&v=4"},"commit":{"message":"Updates and renewal","shortMessageHtmlLink":"Updates and renewal"}},{"before":"c55ee8d1add9f3d1c899fc059726b509000bdcf7","after":"e52eb41b0e8a18ea57ed0298324f2d09100bfada","ref":"refs/heads/master","pushedAt":"2023-05-18T01:18:34.484Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"VictorTaelin","name":"Victor Taelin","path":"/VictorTaelin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13090166?s=80&v=4"},"commit":{"message":"Updates and renewal","shortMessageHtmlLink":"Updates and renewal"}},{"before":"1c34e9515bee514860e8268765c005ec710a22c5","after":"c55ee8d1add9f3d1c899fc059726b509000bdcf7","ref":"refs/heads/master","pushedAt":"2023-05-18T01:17:34.536Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"VictorTaelin","name":"Victor Taelin","path":"/VictorTaelin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13090166?s=80&v=4"},"commit":{"message":"Updates and renewal","shortMessageHtmlLink":"Updates and renewal"}},{"before":"03f8ad10fa702b45a3fffb191aa14285fb85beb3","after":"1c34e9515bee514860e8268765c005ec710a22c5","ref":"refs/heads/master","pushedAt":"2023-05-18T01:15:13.811Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"VictorTaelin","name":"Victor Taelin","path":"/VictorTaelin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13090166?s=80&v=4"},"commit":{"message":"Updates and renewal","shortMessageHtmlLink":"Updates and renewal"}},{"before":"8e8fb1f5a814fc3227bb9452cbdf28512a53780d","after":"03f8ad10fa702b45a3fffb191aa14285fb85beb3","ref":"refs/heads/master","pushedAt":"2023-05-18T01:06:39.028Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"VictorTaelin","name":"Victor Taelin","path":"/VictorTaelin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13090166?s=80&v=4"},"commit":{"message":"Updates and renewal","shortMessageHtmlLink":"Updates and renewal"}},{"before":"a6c4bd3433273294843e0391311a4a7b1d1d2e32","after":"8e8fb1f5a814fc3227bb9452cbdf28512a53780d","ref":"refs/heads/master","pushedAt":"2023-05-18T01:01:32.555Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"VictorTaelin","name":"Victor Taelin","path":"/VictorTaelin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13090166?s=80&v=4"},"commit":{"message":"Updates and renewal","shortMessageHtmlLink":"Updates and renewal"}},{"before":"989f6431d2b90d70b3a0ba8bd3d16120d31f70c3","after":"a6c4bd3433273294843e0391311a4a7b1d1d2e32","ref":"refs/heads/master","pushedAt":"2023-05-18T00:59:13.935Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"VictorTaelin","name":"Victor Taelin","path":"/VictorTaelin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13090166?s=80&v=4"},"commit":{"message":"Updates and renewal","shortMessageHtmlLink":"Updates and renewal"}},{"before":"d0f55d7256c62e1685801a2005802ce1977c67ed","after":"989f6431d2b90d70b3a0ba8bd3d16120d31f70c3","ref":"refs/heads/master","pushedAt":"2023-05-18T00:50:30.240Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"VictorTaelin","name":"Victor Taelin","path":"/VictorTaelin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13090166?s=80&v=4"},"commit":{"message":"Updates and renewal","shortMessageHtmlLink":"Updates and renewal"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADws8lrQA","startCursor":null,"endCursor":null}},"title":"Activity · VictorTaelin/Interaction-Calculus"}