M.V. Hutz
58d0823069
## Description The `convert` and `reduce` commands used `--from` and `--to` flags to specify input/output representations. These names are ambiguous and don't clearly describe what they control. This PR renames them to `--input`/`--output` and adds `-i`/`-o` short aliases for convenience. - Rename `--from` to `--input` (`-i`) in `convert` and `reduce` commands. - Rename `--to` to `--output` (`-o`) in the `convert` command. - Switch from `StringVar` to `StringVarP` to support the new short flags. ## Benefits - Flag names now clearly indicate they refer to representations, not file paths. - Short aliases `-i` and `-o` make CLI usage more concise. ## Checklist - [x] Code follows conventional commit format. - [x] Branch follows naming convention (`<type>/<description>`). Always use underscores. - [x] Tests pass (if applicable). - [ ] Documentation updated (if applicable). Reviewed-on: #42 Co-authored-by: M.V. Hutz <git@maximhutz.me> Co-committed-by: M.V. Hutz <git@maximhutz.me>
lambda
Making a lambda calculus runtime 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