We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
fe2e1c6
Migrating to lablgtk3
Update of CI
Compatibility with dune.3+
Miscellaneous bug fixes (type unification, term purification, ...)
