issues
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
Another series of patches to the documentation
#351
Closed
shym
closed
11 months ago
shym
commented
11 months ago
This PR brings:
rebased #111, #112 and #118 by Christine Rose, integrated with the current state of the documentation,
a new tip to help new users when
(*@ ... *)
are misplaced,
a new presentation of Ortac.
Closes #111, closes #112, closes #118
This PR brings:
(*@ ... *)
are misplaced,Closes #111, closes #112, closes #118