Skip to content

2.1.0
Compare
Choose a tag to compare
@clarus clarus released this 20 Mar 12:20
· 475 commits to master since this release
2.1.0
37bdd73
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

Main changes:

  • support of functors;
  • all the values are in Set (using the -impredicative-set option and exitentials in Set for first-class modules);
  • basic GADT support with axioms;

We can now import the full Tezos protocol (40.000 OCaml lines). Details of the changes in CHANGELOG.md.

Assets 2
Loading