Repository navigation
Fixes one illegal and one unnecessary special case of the start symbol productions - #43
Open
jurgenvinju wants to merge 1 commit into
Open
jurgenvinju wants to merge 1 commit into
jurgenvinju wants to merge 1 commit into
Commits
Commits on Apr 7, 2026