v0.11.0

shonfeder released this 01 Mar 16:05

· 4664 commits to main since this release

0.11.0

Features

Type checker: supporting TLC operators, see #601

Bug fixes

Parser: propagating type annotations in INSTANCES, see #592 and #596

Removed

Type checker: removed Typing.tla, AssumeType, and ##, see #518

Assets 4