feat(LambdaCalculus): basics of named representation (alpha equivalence and capture-avoiding substitution)#458
Open
yinhaoxuan wants to merge 14 commits into
Open
Commits
Commits on Mar 10, 2026
Commits on Mar 12, 2026
Commits on Mar 21, 2026
Commits on Mar 25, 2026
Commits on Mar 26, 2026
- committed
Commits on Apr 7, 2026
- committed
- committed
- committed
- committed
Commits on Apr 8, 2026
- committed