{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":514838641,"defaultBranch":"master","name":"Eqthy","ownerLogin":"catseye","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-07-17T12:34:40.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/1134322?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1696590432.0","currentOid":""},"activityList":{"items":[{"before":"8af6b6dc6bff2c098f05b7b3679b1dab8e32e853","after":"48dbd3602ed0a8d83c35180152933ab2e693928c","ref":"refs/heads/master","pushedAt":"2023-11-10T17:36:52.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"cpressey","name":"Chris Pressey","path":"/cpressey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6860877?s=80&v=4"},"commit":{"message":"Merge branch 'master' of https://codeberg.org/catseye/Eqthy","shortMessageHtmlLink":"Merge branch 'master' of <a href=\"https://codeberg.org/catseye/Eqthy\" rel=\"nofollow\">https://codeberg.org/catseye/Eqthy</a>"}},{"before":"c9ad86c2767f8ccb22e73c013d8bcb0288a42f6b","after":"8af6b6dc6bff2c098f05b7b3679b1dab8e32e853","ref":"refs/heads/master","pushedAt":"2023-10-22T14:23:14.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"cpressey","name":"Chris Pressey","path":"/cpressey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6860877?s=80&v=4"},"commit":{"message":"Merge pull request #9 from pro465/de-morgans\n\nprove de morgan's rule","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1928780443\" data-permission-text=\"Title is private\" data-url=\"https://github.com/catseye/Eqthy/issues/9\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/catseye/Eqthy/pull/9/hovercard\" href=\"https://github.com/catseye/Eqthy/pull/9\">#9</a> from pro465/de-morgans"}},{"before":"5edcd683d711faed68deb990e045713ec891336c","after":null,"ref":"refs/heads/place-under-bsd-license","pushedAt":"2023-10-06T11:07:12.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"cpressey","name":"Chris Pressey","path":"/cpressey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6860877?s=80&v=4"}},{"before":"96fe987c1ba944ef3fe9cb863991b4d925b90de0","after":"c9ad86c2767f8ccb22e73c013d8bcb0288a42f6b","ref":"refs/heads/master","pushedAt":"2023-10-06T10:19:07.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"cpressey","name":"Chris Pressey","path":"/cpressey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6860877?s=80&v=4"},"commit":{"message":"Place code under BSD license and examples in public domain. (#8)\n\n* Place under BSD license.\r\n\r\n* Remove copyright assertion, as requested.\r\n\r\n* Move LICENSE to src directory to indicate it applies to the code.\r\n\r\n* Add UNLICENSE to examples to indicate they're in the public domain","shortMessageHtmlLink":"Place code under BSD license and examples in public domain. (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1920966012\" data-permission-text=\"Title is private\" data-url=\"https://github.com/catseye/Eqthy/issues/8\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/catseye/Eqthy/pull/8/hovercard\" href=\"https://github.com/catseye/Eqthy/pull/8\">#8</a>)"}},{"before":"79e52f402870a974f3df849da9a4c03b69526748","after":"5edcd683d711faed68deb990e045713ec891336c","ref":"refs/heads/place-under-bsd-license","pushedAt":"2023-10-05T14:33:56.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"cpressey","name":"Chris Pressey","path":"/cpressey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6860877?s=80&v=4"},"commit":{"message":"Add UNLICENSE to examples to indicate they're in the public domain","shortMessageHtmlLink":"Add UNLICENSE to examples to indicate they're in the public domain"}},{"before":null,"after":"79e52f402870a974f3df849da9a4c03b69526748","ref":"refs/heads/place-under-bsd-license","pushedAt":"2023-10-01T18:31:21.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"cpressey","name":"Chris Pressey","path":"/cpressey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6860877?s=80&v=4"},"commit":{"message":"Place under BSD license.","shortMessageHtmlLink":"Place under BSD license."}},{"before":"96fe987c1ba944ef3fe9cb863991b4d925b90de0","after":null,"ref":"refs/heads/develop-0.3","pushedAt":"2023-09-16T14:45:24.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"cpressey","name":"Chris Pressey","path":"/cpressey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6860877?s=80&v=4"}},{"before":"ae3b785ed1fea320d334c3d28a9cb56ab7fed041","after":"96fe987c1ba944ef3fe9cb863991b4d925b90de0","ref":"refs/heads/master","pushedAt":"2023-09-16T14:42:10.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"cpressey","name":"Chris Pressey","path":"/cpressey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6860877?s=80&v=4"},"commit":{"message":"Tiny final edits to TODO section.","shortMessageHtmlLink":"Tiny final edits to TODO section."}},{"before":"50be984494d4d7bc52bd6a9d6b846ad65e0758b3","after":"96fe987c1ba944ef3fe9cb863991b4d925b90de0","ref":"refs/heads/develop-0.3","pushedAt":"2023-09-16T14:41:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cpressey","name":"Chris Pressey","path":"/cpressey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6860877?s=80&v=4"},"commit":{"message":"Tiny final edits to TODO section.","shortMessageHtmlLink":"Tiny final edits to TODO section."}},{"before":"4af024e60e3da3db73bff8c9d90b83d055ec9a0f","after":"50be984494d4d7bc52bd6a9d6b846ad65e0758b3","ref":"refs/heads/develop-0.3","pushedAt":"2023-09-16T14:38:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cpressey","name":"Chris Pressey","path":"/cpressey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6860877?s=80&v=4"},"commit":{"message":"Edits to the TODO section.","shortMessageHtmlLink":"Edits to the TODO section."}},{"before":"867de0cc6eab6f44480f09adf42dc3fc90165e54","after":"4af024e60e3da3db73bff8c9d90b83d055ec9a0f","ref":"refs/heads/develop-0.3","pushedAt":"2023-09-16T14:20:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cpressey","name":"Chris Pressey","path":"/cpressey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6860877?s=80&v=4"},"commit":{"message":"A last few edits before we release 0.3.","shortMessageHtmlLink":"A last few edits before we release 0.3."}},{"before":"96b05656fe5e6d1dd2c5bd651f55098fc38c5fb0","after":null,"ref":"refs/heads/output-sexpr","pushedAt":"2023-09-14T13:41:00.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"cpressey","name":"Chris Pressey","path":"/cpressey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6860877?s=80&v=4"}},{"before":"3db61e2c168ee5ac474527230144e51c53956f23","after":null,"ref":"refs/heads/develop-0.2","pushedAt":"2023-09-12T17:06:26.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"cpressey","name":"Chris Pressey","path":"/cpressey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6860877?s=80&v=4"}},{"before":"8d3564d848b81c4d3a0425a2a8514a75701e343e","after":"867de0cc6eab6f44480f09adf42dc3fc90165e54","ref":"refs/heads/develop-0.3","pushedAt":"2023-09-12T17:06:04.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"cpressey","name":"Chris Pressey","path":"/cpressey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6860877?s=80&v=4"},"commit":{"message":"Merge branch 'master' into develop-0.3","shortMessageHtmlLink":"Merge branch 'master' into develop-0.3"}},{"before":"da2c98857bc261fa5ed5e42ac4df081e93492784","after":"ae3b785ed1fea320d334c3d28a9cb56ab7fed041","ref":"refs/heads/master","pushedAt":"2023-09-12T17:04:22.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"cpressey","name":"Chris Pressey","path":"/cpressey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6860877?s=80&v=4"},"commit":{"message":"Merge pull request #7 from pro465/master\n\nremove extraneous theorems","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1857788788\" data-permission-text=\"Title is private\" data-url=\"https://github.com/catseye/Eqthy/issues/7\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/catseye/Eqthy/pull/7/hovercard\" href=\"https://github.com/catseye/Eqthy/pull/7\">#7</a> from pro465/master"}},{"before":null,"after":"8d3564d848b81c4d3a0425a2a8514a75701e343e","ref":"refs/heads/develop-0.3","pushedAt":"2023-08-18T11:54:32.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"cpressey","name":"Chris Pressey","path":"/cpressey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6860877?s=80&v=4"},"commit":{"message":"Bump version to 0.3 and add release notes thus far.","shortMessageHtmlLink":"Bump version to 0.3 and add release notes thus far."}},{"before":"815c40a5868f843f48039807d4e3f20934166261","after":"da2c98857bc261fa5ed5e42ac4df081e93492784","ref":"refs/heads/master","pushedAt":"2023-08-18T10:44:52.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"cpressey","name":"Chris Pressey","path":"/cpressey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6860877?s=80&v=4"},"commit":{"message":"Fix the translation of modus ponens and give resulting proof.","shortMessageHtmlLink":"Fix the translation of modus ponens and give resulting proof."}},{"before":"3a7bb427a58bed740605e37445817f0f54485c9f","after":"815c40a5868f843f48039807d4e3f20934166261","ref":"refs/heads/master","pushedAt":"2023-08-15T15:35:43.000Z","pushType":"pr_merge","commitsCount":6,"pusher":{"login":"cpressey","name":"Chris Pressey","path":"/cpressey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6860877?s=80&v=4"},"commit":{"message":"Merge pull request #6 from pro465/patch-1\n\nfix #5","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1836221758\" data-permission-text=\"Title is private\" data-url=\"https://github.com/catseye/Eqthy/issues/6\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/catseye/Eqthy/pull/6/hovercard\" href=\"https://github.com/catseye/Eqthy/pull/6\">#6</a> from pro465/patch-1"}},{"before":null,"after":"96b05656fe5e6d1dd2c5bd651f55098fc38c5fb0","ref":"refs/heads/output-sexpr","pushedAt":"2023-07-21T09:24:12.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"cpressey","name":"Chris Pressey","path":"/cpressey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6860877?s=80&v=4"},"commit":{"message":"Experiment in dumping the AST to a Scheme-readable S-expression.","shortMessageHtmlLink":"Experiment in dumping the AST to a Scheme-readable S-expression."}},{"before":"24c12601dc1ae2092ecdb90b3e1ef83fd8ce1758","after":"3a7bb427a58bed740605e37445817f0f54485c9f","ref":"refs/heads/master","pushedAt":"2023-07-10T09:04:37.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"cpressey","name":"Chris Pressey","path":"/cpressey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6860877?s=80&v=4"},"commit":{"message":"Merge pull request #3 from pro465/patch-1\n\nfix link in README.md","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1795347768\" data-permission-text=\"Title is private\" data-url=\"https://github.com/catseye/Eqthy/issues/3\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/catseye/Eqthy/pull/3/hovercard\" href=\"https://github.com/catseye/Eqthy/pull/3\">#3</a> from pro465/patch-1"}},{"before":"38bd8f50a4e12e952bbb1aeaa4e06fded0a994df","after":"24c12601dc1ae2092ecdb90b3e1ef83fd8ce1758","ref":"refs/heads/master","pushedAt":"2023-04-05T15:55:18.000Z","pushType":"pr_merge","commitsCount":24,"pusher":{"login":"cpressey","name":"Chris Pressey","path":"/cpressey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6860877?s=80&v=4"},"commit":{"message":"Merge pull request #2 from catseye/develop-0.2\n\nDevelop 0.2","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1650900023\" data-permission-text=\"Title is private\" data-url=\"https://github.com/catseye/Eqthy/issues/2\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/catseye/Eqthy/pull/2/hovercard\" href=\"https://github.com/catseye/Eqthy/pull/2\">#2</a> from catseye/develop-0.2"}},{"before":"a2001a25752cd468cd65bbe56e44173f0107356c","after":"3db61e2c168ee5ac474527230144e51c53956f23","ref":"refs/heads/develop-0.2","pushedAt":"2023-04-05T15:54:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cpressey","name":"Chris Pressey","path":"/cpressey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6860877?s=80&v=4"},"commit":{"message":"Fix typo.","shortMessageHtmlLink":"Fix typo."}},{"before":"8972e80c43c20dffc6954c369a4b8f2a91c8d821","after":"a2001a25752cd468cd65bbe56e44173f0107356c","ref":"refs/heads/develop-0.2","pushedAt":"2023-04-05T15:53:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cpressey","name":"Chris Pressey","path":"/cpressey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6860877?s=80&v=4"},"commit":{"message":"Add HISTORY.md file.","shortMessageHtmlLink":"Add HISTORY.md file."}},{"before":"80155e496274e0cfeaa19d0f658fd547d369dbd8","after":"8972e80c43c20dffc6954c369a4b8f2a91c8d821","ref":"refs/heads/develop-0.2","pushedAt":"2023-04-05T03:40:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cpressey","name":"Chris Pressey","path":"/cpressey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6860877?s=80&v=4"},"commit":{"message":"Add Falderal test for variable renaming.","shortMessageHtmlLink":"Add Falderal test for variable renaming."}},{"before":"08999cfe6006e6d19d5c00230bae17740567c0a0","after":"80155e496274e0cfeaa19d0f658fd547d369dbd8","ref":"refs/heads/develop-0.2","pushedAt":"2023-04-02T10:48:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cpressey","name":"Chris Pressey","path":"/cpressey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6860877?s=80&v=4"},"commit":{"message":"Update README.","shortMessageHtmlLink":"Update README."}},{"before":"1075520d38a650a76d6e815df3d6d0278de44d87","after":"08999cfe6006e6d19d5c00230bae17740567c0a0","ref":"refs/heads/develop-0.2","pushedAt":"2023-03-31T19:16:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cpressey","name":"Chris Pressey","path":"/cpressey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6860877?s=80&v=4"},"commit":{"message":"Add an example proof in a Combinatory Logic.","shortMessageHtmlLink":"Add an example proof in a Combinatory Logic."}},{"before":"789706d087e53eb9ec6c208145ef02246e9f8441","after":"1075520d38a650a76d6e815df3d6d0278de44d87","ref":"refs/heads/develop-0.2","pushedAt":"2023-03-31T18:17:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cpressey","name":"Chris Pressey","path":"/cpressey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6860877?s=80&v=4"},"commit":{"message":"Rewrite some of the prose here to match what I've learned so far.","shortMessageHtmlLink":"Rewrite some of the prose here to match what I've learned so far."}},{"before":"dc711adb91dfae3a40f48a879732fab555523894","after":"789706d087e53eb9ec6c208145ef02246e9f8441","ref":"refs/heads/develop-0.2","pushedAt":"2023-03-26T16:29:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cpressey","name":"Chris Pressey","path":"/cpressey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6860877?s=80&v=4"},"commit":{"message":"Another maybe-useful preliminary. Beginning to have my doubts tho.","shortMessageHtmlLink":"Another maybe-useful preliminary. Beginning to have my doubts tho."}},{"before":"11b52617ea97b2778b257aee379dcdad4ab3f794","after":"dc711adb91dfae3a40f48a879732fab555523894","ref":"refs/heads/develop-0.2","pushedAt":"2023-03-26T16:04:41.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"cpressey","name":"Chris Pressey","path":"/cpressey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6860877?s=80&v=4"},"commit":{"message":"Add some lemmas regarding group inverses.","shortMessageHtmlLink":"Add some lemmas regarding group inverses."}},{"before":"23e44f064ff9d1e44090ab0eb0c6abbf6e35cf79","after":"11b52617ea97b2778b257aee379dcdad4ab3f794","ref":"refs/heads/develop-0.2","pushedAt":"2023-03-26T12:18:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cpressey","name":"Chris Pressey","path":"/cpressey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6860877?s=80&v=4"},"commit":{"message":"Develop the boolean algebra lemmas more.","shortMessageHtmlLink":"Develop the boolean algebra lemmas more."}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADrGgTXAA","startCursor":null,"endCursor":null}},"title":"Activity · catseye/Eqthy"}