Skip to content

0.3.0

Latest
Latest
Compare
Choose a tag to compare
@n-osborne n-osborne released this 11 Apr 13:02
· 66 commits to main since this release
0.3.0
3031a4d
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.

This release brings two main improvements:

  • Make the type-checker save type information in a file
  • Make the with necessary when declaring type invariants
Assets 2
Loading