Skip to content

Type.match and Type.instantiate for NonTerminalType#1844

Open
jurgenvinju wants to merge 3 commits into
mainfrom
generic-non-terminal-types
Open

Type.match and Type.instantiate for NonTerminalType#1844
jurgenvinju wants to merge 3 commits into
mainfrom
generic-non-terminal-types

fixed more issues

47fb001
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project succeeded Jun 16, 2026 in 0s

48% (-1%) compared to 22a2833

View this Pull Request on Codecov

48% (-1%) compared to 22a2833

View more details on Codecov