Skip to content

Add the syntax for quantifiers to value bindings #266

Add the syntax for quantifiers to value bindings

Add the syntax for quantifiers to value bindings #266

Annotations

1 error

build-and-test (macos-latest, 4)

failed Sep 15, 2024 in 5m 26s