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

abddb5b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error
test-linux
failed Jun 26, 2026 in 4m 56s