Skip to content

2.4.1
Compare
Choose a tag to compare
@clarus clarus released this 15 Mar 17:57
· 266 commits to master since this release
2.4.1
a2073bf
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.
  • add basic support for matching on existential types and try ... with;
  • add the @coq_type_annotation attribute;
  • remove existential types from the modules conversion (unless for first-class modules);
  • upgrade Dune dependency to the version 2.8.

See this blog post for more details on the removal of the existential types for the modules.

Assets 2
Loading