Re-enable Joop Leo right-recursion optimization (fixes #397)#1602
Open
erezsh wants to merge 5 commits into
Open
Re-enable Joop Leo right-recursion optimization (fixes #397)#1602erezsh wants to merge 5 commits into
erezsh wants to merge 5 commits into
Commits
Commits on Jun 2, 2026
Commits on Jun 6, 2026
- andcommitted