Skip to content

v0.7.2
Compare
Choose a tag to compare
@sjrd sjrd released this 05 Apr 08:13
· 422 commits to main since this release
v0.7.2
6d0923a
This commit was created on github.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
  • Fix the signature name of classes located inside package objects
  • Handle intersection types in the qualifier of class type parameter selections
  • Handle subtyping and term selection involving term refinements with defs with at least one parameter list
Assets 2
Loading