Getting Started Documentation

Organisations ocaml-gospel gospel

gospel

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

Default Branch

Merge pull request #447 from n-osborne/typing-refactoring Extract and document typing environment

Feb 17 23:22 +00:00

Passed in 5m00s

Branches (1)

type-checker-dev-meeting

Add 20250110 minutes

Feb 21 09:46 +00:00

Refs Branches (3)

Remove and replace the coercion mechanism

Update Changelog

Feb 17 23:22 +00:00

Passed in 5m02s

AST node for application of arbitrary terms

Add typing for application of arbitrary terms

Feb 17 23:22 +00:00

Passed in 5m09s

Add Hash Set/Hash Map example

Feb 17 23:22 +00:00

Passed in 4m58s