Closed n-osborne closed 5 months ago
Fixes #382
Gospel type-checker is automatically run on the content of the ocaml block so that the example is always up-to-date
ocaml
Fixes #382
Gospel type-checker is automatically run on the content of the
ocaml
block so that the example is always up-to-date