M.V. Hutz
19652563a4
## Description This PR updates CLAUDE.md to include documentation about linking issues in pull requests. The documentation explains how to use the "Closes #<number>" syntax in commit messages and PR descriptions to automatically link and close issues when PRs are merged. ### Changes - Added "Linking issues" section to Pull Request Management in [CLAUDE.md](CLAUDE.md:81-82). - Documented the use of `Closes #<number>` syntax for automatic issue closure. ## Benefits Developers will know to properly link issues in their PRs. Issues will be automatically closed when their corresponding PRs are merged. The repository will maintain better traceability between issues and PRs. ## Checklist - [x] Code follows conventional commit format. - [x] Branch follows naming convention (`<type>/<description>`). Always use underscores. - [x] Tests pass (if applicable). - [x] Documentation updated (if applicable). Reviewed-on: #23 Co-authored-by: M.V. Hutz <git@maximhutz.me> Co-committed-by: M.V. Hutz <git@maximhutz.me>
lambda
Making a lambda calculus interpreter in Go.
Things to talk about
- Exhaustive sum types.
- Recursive descent and left-recursion.
- Observer pattern, event emission.
Links
https://zicklag.katharos.group/blog/interaction-nets-combinators-calculus/ https://arxiv.org/pdf/2505.20314