feat(untyped): the Leftmost Reduction Theorem#700
Open
m-ow wants to merge 23 commits into
Open
Commits
Commits on Jul 14, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- andcommitted
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
