search

ocaml-gospel / gospel

A tool-agnostic formal specification language for OCaml.
https://ocaml-gospel.github.io/gospel
MIT License
126 stars 16 forks source link

Remove outaded dune rule #328

Closed n-osborne closed 1 year ago

n-osborne commented 1 year ago

Dune rule for removed good-practice.md page was still there.

shym commented 1 year ago

Sorry for that! :see_no_evil: And thank you for the fix.