Getting Started Documentation

Organisations ocaml-gospel gospel

gospel

https://github.com/ocaml-gospel/gospel

Default Branch

Merge pull request #403 from n-osborne/mutually-defined-ghost-type Add support for mutually recursive ghost types

Nov 03 23:04 +00:00

Passed in 5m48s

Branches (1)

type-checker-dev-meeting

Add notes for 20241004

Nov 08 11:15 +00:00

Failed in 3m16s

Refs Branches (3)

Rewrite Map module

Nov 06 12:10 +00:00

Failed in 5m20s

Handle 5.2 AST changes

Prepare for 5.2 AST bump

Nov 03 23:04 +00:00

Failed in 5m29s

Update to the Documentation Site

Remove reference to distinction between terms and formulae

Nov 03 23:04 +00:00

Passed in 4m59s