search

ocaml-gospel / ortac

Runtime assertion checking based on Gospel specifications
https://ocaml-gospel.github.io/ortac/
MIT License
36 stars 10 forks source link

Bump all OCaml version to the same number #211

Closed n-osborne closed 4 months ago

n-osborne commented 5 months ago

4.12.0 is neccessary for Either