Skip to content

Add the syntax for quantifiers to value bindings #280

Add the syntax for quantifiers to value bindings

Add the syntax for quantifiers to value bindings #280

lint-opam

succeeded Sep 15, 2024 in 5m 10s