[ANN] Gospel 0.3.0

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 be easy to learn for an OCaml programmer. You can access the documentation here

Apart from some bug fixes, this release brings two main improvements:

  • Make the type-checker save type information in a .gospel file
  • Make the with keyword necessary when declaring type invariants

Beware that ortac.0.1.0 is not compatible with this version, please use Ortac development version from the git repository until the next Ortac release.


I enjoyed reading the docs. Great work!

1 Like