Closed whonore closed 4 months ago
Adds support for record projection expressions and named arguments (f (x := y) or f (1 := y)). Currently only supports projections without universe annotations.
f (x := y)
f (1 := y)
Adds support for record projection expressions and named arguments (
f (x := y)
orf (1 := y)
). Currently only supports projections without universe annotations.