issues
search
ocaml-gospel
/
gospel
A tool-agnostic formal specification language for OCaml.
https://ocaml-gospel.github.io/gospel
MIT License
123
stars
16
forks
source link
fix examples tests
#402
Closed
n-osborne
closed
3 months ago
n-osborne
commented
3 months ago
This is mainly a clean-up PR as it:
Update examples tests which doesn't print
OK
anymore
Revert "Open an “Unreleased” section in the changelog" because 0.3.0 has been released (sorry to not have checked that before merging)
Update to ocamlformat.0.26.2
This is mainly a clean-up PR as it:
OK
anymore