Add support for inductively defined functions#8878
Draft
stevenraphael wants to merge 23 commits into
Draft
Codecov / codecov/patch
succeeded
Jun 4, 2026 in 1s
No report found to compare against
View this Pull Request on Codecov
No report found to compare against
Loading