Skip to content

Add GADT symbols when typing typing-ahead lambda bodies#19644

Merged
dwijnand merged 2 commits intoscala:mainfrom
dwijnand:gadt-poly
Feb 22, 2024

Commits

Commits on Feb 7, 2024

Commits on Feb 22, 2024