Skip to content

2.0.0
Compare
Choose a tag to compare
@clarus clarus released this 15 Dec 21:58
· 660 commits to master since this release
2.0.0
5d26dee
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.
  • remove effects inference (as a simplification);
  • connect to Merlin to analyse OCaml projects;
  • better error messages (report all errors and show code extract);
  • generate some code even with errors (replace errors by dummy code);
  • support .mli files;
  • support first-class modules;
  • support GADTs (naive translation, may not type-check in Coq);
  • support mutually recursive types.

This new release was developed working at and thanks to NomadicLabs. I also thanks all the people who interacted with the project.

Assets 2