further performance tuning (after f906f7f83dae): interactive mode is closer to earlier approach with Lazy.value, which could be relevant with rather complex grammars under tight memory situations;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE876bb57e7376: merged
- Branches
- Unknown
- Tags