This repository was archived by the owner on Apr 15, 2026. It is now read-only.
1.3.8
### Bug fixes Fix an issue that caused incorrect trees to be emitted when a forced reduction happened inside a skipped term.
### Bug fixes Fix an issue that caused incorrect trees to be emitted when a forced reduction happened inside a skipped term.