{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":87304221,"defaultBranch":"master","name":"lambda_calculus","ownerLogin":"ljedrz","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2017-04-05T12:00:25.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/3750347?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1717065133.0","currentOid":""},"activityList":{"items":[{"before":"971f18f3a8ac1ee103689c5888ec3b051fe46702","after":"7a249438c1668108b05ec07b5aaab998becd8be5","ref":"refs/heads/master","pushedAt":"2024-05-30T10:27:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ljedrz","name":null,"path":"/ljedrz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3750347?s=80&v=4"},"commit":{"message":"release: bump version to 3.3.0\n\nSigned-off-by: ljedrz <ljedrz@users.noreply.github.com>","shortMessageHtmlLink":"release: bump version to 3.3.0"}},{"before":"221c85ce13189870744e8de80bb69f9be92a9988","after":"971f18f3a8ac1ee103689c5888ec3b051fe46702","ref":"refs/heads/master","pushedAt":"2024-05-30T08:26:57.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"ljedrz","name":null,"path":"/ljedrz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3750347?s=80&v=4"},"commit":{"message":"`Term::has_free_variables`: check if an expression has free variables (#54)\n\n* feat: Term::has_free_variables()\r\n\r\n* fix: has_free_variables considers Var(0) free\r\n\r\n* fix: has_free_vars was broken under applications","shortMessageHtmlLink":"<code>Term::has_free_variables</code>: check if an expression has free variables (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2324920141\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ljedrz/lambda_calculus/issues/54\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ljedrz/lambda_calculus/pull/54/hovercard\" href=\"https://github.com/ljedrz/lambda_calculus/pull/54\">…</a>"}},{"before":"ef568242bb55606fd60e301358039688d306b0e8","after":"221c85ce13189870744e8de80bb69f9be92a9988","ref":"refs/heads/master","pushedAt":"2024-05-29T10:42:30.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"ljedrz","name":null,"path":"/ljedrz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3750347?s=80&v=4"},"commit":{"message":"`Term::is_isomorphic_to`: A function to determine if two term objects describe identical expressions. (#53)\n\n* feat: Term::is_isomorphic_to and associated tests\r\n\r\n* refactor: change match expression in is_isomorphic_to\r\n\r\nCo-authored-by: ljedrz <ljedrz@users.noreply.github.com>\r\n\r\n---------\r\n\r\nCo-authored-by: ljedrz <ljedrz@users.noreply.github.com>","shortMessageHtmlLink":"<code>Term::is_isomorphic_to</code>: A function to determine if two term objects…"}},{"before":"78f5e7558181bae9570556f9e16893bfd6fe3362","after":"ef568242bb55606fd60e301358039688d306b0e8","ref":"refs/heads/master","pushedAt":"2024-05-27T18:05:41.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"ljedrz","name":null,"path":"/ljedrz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3750347?s=80&v=4"},"commit":{"message":"fix: tokenize alphanumeric strings correctly (#52)\n\n* fix: tokenize alphanumeric strings correctly\r\n\r\n* drive-by: run rustfmt","shortMessageHtmlLink":"fix: tokenize alphanumeric strings correctly (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2317657544\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ljedrz/lambda_calculus/issues/52\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ljedrz/lambda_calculus/pull/52/hovercard\" href=\"https://github.com/ljedrz/lambda_calculus/pull/52\">#52</a>)"}},{"before":"0a613d86d65d25320a4244e477957180ff8527c9","after":"78f5e7558181bae9570556f9e16893bfd6fe3362","ref":"refs/heads/master","pushedAt":"2024-05-27T08:55:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ljedrz","name":null,"path":"/ljedrz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3750347?s=80&v=4"},"commit":{"message":"clippy: fix a new lint\n\nSigned-off-by: ljedrz <ljedrz@gmail.com>","shortMessageHtmlLink":"clippy: fix a new lint"}},{"before":"14fad229a729f5bd2b9f53062e67b780fec7becd","after":"0a613d86d65d25320a4244e477957180ff8527c9","ref":"refs/heads/master","pushedAt":"2023-09-20T13:13:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ljedrz","name":null,"path":"/ljedrz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3750347?s=80&v=4"},"commit":{"message":"release: bump version to 3.2.2\n\nSigned-off-by: ljedrz <ljedrz@gmail.com>","shortMessageHtmlLink":"release: bump version to 3.2.2"}},{"before":"104ceab6f5c6a5cfd92fe0bb56de2fc52a003b08","after":"14fad229a729f5bd2b9f53062e67b780fec7becd","ref":"refs/heads/master","pushedAt":"2023-09-20T13:08:51.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"ljedrz","name":null,"path":"/ljedrz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3750347?s=80&v=4"},"commit":{"message":"Merge pull request #51 from hiratara/free-variable-context\n\nfix the free variable names","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1899417175\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ljedrz/lambda_calculus/issues/51\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ljedrz/lambda_calculus/pull/51/hovercard\" href=\"https://github.com/ljedrz/lambda_calculus/pull/51\">#51</a> from hiratara/free-variable-context"}},{"before":"dfcf4e76482bb497e5e0b80b892ed141c1b3992c","after":"104ceab6f5c6a5cfd92fe0bb56de2fc52a003b08","ref":"refs/heads/master","pushedAt":"2023-08-17T14:10:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ljedrz","name":null,"path":"/ljedrz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3750347?s=80&v=4"},"commit":{"message":"release: bump version to 3.2.1\n\nSigned-off-by: ljedrz <ljedrz@gmail.com>","shortMessageHtmlLink":"release: bump version to 3.2.1"}},{"before":"a369ffdca246343e856ccd455514aafb862f8b66","after":"dfcf4e76482bb497e5e0b80b892ed141c1b3992c","ref":"refs/heads/master","pushedAt":"2023-08-17T10:49:56.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"ljedrz","name":null,"path":"/ljedrz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3750347?s=80&v=4"},"commit":{"message":"Merge pull request #50 from hiratara/fix-free-vars\n\n[BUG] Fix convert_classic_tokens","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1844195694\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ljedrz/lambda_calculus/issues/50\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ljedrz/lambda_calculus/pull/50/hovercard\" href=\"https://github.com/ljedrz/lambda_calculus/pull/50\">#50</a> from hiratara/fix-free-vars"}},{"before":"32bc08f9177023874304dd89d46f06adbe6e2312","after":"a369ffdca246343e856ccd455514aafb862f8b66","ref":"refs/heads/master","pushedAt":"2023-08-05T11:14:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ljedrz","name":null,"path":"/ljedrz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3750347?s=80&v=4"},"commit":{"message":"chore: fix formatting in CHANGELOG\n\nSigned-off-by: ljedrz <ljedrz@gmail.com>","shortMessageHtmlLink":"chore: fix formatting in CHANGELOG"}},{"before":"5791e67812d064e88e121fffbd2cec2c391a95ea","after":"32bc08f9177023874304dd89d46f06adbe6e2312","ref":"refs/heads/master","pushedAt":"2023-08-05T11:11:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ljedrz","name":null,"path":"/ljedrz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3750347?s=80&v=4"},"commit":{"message":"release: bump version to 3.2.0\n\nSigned-off-by: ljedrz <ljedrz@gmail.com>","shortMessageHtmlLink":"release: bump version to 3.2.0"}},{"before":"ebd9d688ce1d68c678ae7ec8b68d19ca1d1159bc","after":"5791e67812d064e88e121fffbd2cec2c391a95ea","ref":"refs/heads/master","pushedAt":"2023-08-05T11:05:50.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"ljedrz","name":null,"path":"/ljedrz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3750347?s=80&v=4"},"commit":{"message":"Merge pull request #49 from hiratara/support-anyhow\n\nSupport anyhow crate","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1837468238\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ljedrz/lambda_calculus/issues/49\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ljedrz/lambda_calculus/pull/49/hovercard\" href=\"https://github.com/ljedrz/lambda_calculus/pull/49\">#49</a> from hiratara/support-anyhow"}},{"before":"4fd21b1af6c4f59691f650887e248f26a430ec32","after":"ebd9d688ce1d68c678ae7ec8b68d19ca1d1159bc","ref":"refs/heads/master","pushedAt":"2023-04-30T16:48:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ljedrz","name":null,"path":"/ljedrz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3750347?s=80&v=4"},"commit":{"message":"docs: remove an outdated README section\n\nSigned-off-by: ljedrz <ljedrz@gmail.com>","shortMessageHtmlLink":"docs: remove an outdated README section"}},{"before":"8ca65138e6b587cda4280414e0ee75671f80ec77","after":"4fd21b1af6c4f59691f650887e248f26a430ec32","ref":"refs/heads/master","pushedAt":"2023-04-30T16:44:58.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"ljedrz","name":null,"path":"/ljedrz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3750347?s=80&v=4"},"commit":{"message":"chore: tweak the TOML\n\nSigned-off-by: ljedrz <ljedrz@gmail.com>","shortMessageHtmlLink":"chore: tweak the TOML"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEV-JUYAA","startCursor":null,"endCursor":null}},"title":"Activity · ljedrz/lambda_calculus"}