Build History for branch/main

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

Merge pull request #420 from n-osborne/inlined-records Fix typing of expression with inlined records

Merge pull request #419 from n-osborne/fix-unbound-field-error Improve error message for unbound record fields

Merge pull request #418 from n-osborne/missing-fields-error Fix incomplete record error

Merge pull request #391 from mrjazzybread/bool Bool

Merge pull request #406 from n-osborne/add-unsupported-error-msg Add proper error messages for a number unsupported constructions

Merge pull request #404 from n-osborne/catch-functor-application-failure Catch longindent Invalid_arg

Merge pull request #396 from mrjazzybread/main Adding paths to Gospel identifiers

Merge pull request #402 from n-osborne/fix-examples-tests fix examples tests

Merge pull request #362 from shym/test-examples Run tests on the new example

Merge pull request #400 from n-osborne/test-case-for-pattern-analysis-tuple Add test case for pattern analysis of tuple

Merge pull request #398 from n-osborne/bump-version-0.3.0 Bump version number

Merge pull request #397 from n-osborne/dune-build-info Use `dune-build-info` for version display

Merge pull request #387 from n-osborne/fix-fs_unit-ls_name Fix `ls_name` for unit logical symbol

Preprocessor bug (#394) * Preprocessor bug * Update CHANGES * Test file * Fixed dune.inc

Merge pull request #386 from n-osborne/fix-is_ts_tuple Fix `is_ts_tuple`

Merge pull request #376 from n-osborne/write-gospel-file Make type checker save type information

Merge pull request #384 from n-osborne/update-readme Replace example png by actual code

Merge pull request #380 from n-osborne/ls_equality Change `ls_equal` implementation

Merge pull request #375 from n-osborne/syntax-error-in-test Fix syntax error in ppx test

Merge pull request #374 from n-osborne/invariant-bis Propagate non-optional name to typed ast