search

ocaml-gospel / ortac

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

Require a version of mdx supporting `.mld` files #178

Closed shym closed 10 months ago

shym commented 10 months ago

This will hopefully fix the failures from the lower-bounds checks.