S
SystemFtoBarRecursion
Implementations of an interpretation of system F through bar recursion
MAJ terminée. Nous sommes passés en version 14.6.2 . Pour consulter les "releases notes" associées c'est ici :
https://about.gitlab.com/releases/2022/01/11/security-release-gitlab-14-6-2-released/
https://about.gitlab.com/releases/2022/01/04/gitlab-14-6-1-released/
Implementations of an interpretation of system F through bar recursion