Add support for parsing polymorphic type declarations#1355

Merged

shonfeder merged 11 commits intomainfrom 1073/poly-types

Jan 26, 2024

+2,263-1,617

Commits on Jan 25, 2024

Add IR nodes for type abstraction and application
Shon Feder
committed
Add build scripts
Shon Feder
committed
Add parsing for polymorphic type declarations
Shon Feder
committed
Ass missing test fixtures
Shon Feder
committed
Add abs and app to server completion
Shon Feder
committed
Add missing graphics case
Shon Feder
committed
Cleanup and comment correction
Shon Feder
committed
Fix lints
Shon Feder
committed
Update quint/src/parsing/ToIrListener.ts

Shon Feder
and
bugarela
authored
Update quint/src/ir/quintTypes.ts

Shon Feder
and
bugarela
authored

Commits on Jan 26, 2024

Add explanatory comment
Shon Feder
committed