Add a notion of type equality in the client (!44) · Merge requests · POTTIER Francois / inferno · GitLab

Mentions légales du service

GitLab upgrade completed. Current version is 17.10.3. We now benefit from the enhancements of 17.9 and 17.10 releases. Among other improvements, it is now possible to set the automatic deletion of continuous integration pipelines. You can help us reduce storage usage by setting an expiry date for your pipelines.

MARTINOT Olivier requested to merge omartino/inferno:type-equations into master Nov 03, 2022

We can now introduce and use type equalities using a Refl/Use construct in System F.