Hi! We are very happy to announce the release of gospel.0.3.0 Gospel is a tool-agnostic behavioural specification language for OCaml. It allows you to write strongly typed contract-based specifications for your OCaml libraries (for a reasonable subset of OCaml). Gospel’s syntax has been designed to…

[ANN] Gospel 0.3.0

cdaringe April 16, 2024, 2:36pm 2

I enjoyed reading the docs. Great work!

1 Like