Mentions légales du service

Snippets Groups Projects

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.

parsing error: function types associate to the right

Valentin Blot authored 7 years ago

da537659

da537659 7 years ago

Name	Last commit	Last update
Coq
Javascript
LICENSE
README.md

SystemFtoBarRecursion

Implementations of an interpretation of system F through bar recursion defined in: https://valentinblot.org/pro/SystFbarrec.pdf