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.

Commit 95416593 authored 2 years ago by SCHERER Gabriel

Browse files

Merge branch 'variants-error-message' into 'master'

More informative error messages when typechecking System F variants

See merge request !47

parents f3f73388 c47ba764

No related branches found

No related tags found

Checking pipeline status

Hide whitespace changes

Inline Side-by-side

Showing with 59 additions and 23 deletions

Please register or to comment

Admin message

Merge branch 'variants-error-message' into 'master'