Skip to content

[parser] allow to type binders in lambda abstractions + tests #250

[parser] allow to type binders in lambda abstractions + tests

[parser] allow to type binders in lambda abstractions + tests #250

Annotations

1 warning

test users

succeeded Jan 1, 2025 in 19m 35s