La vérification des quotas de chaque projet est mise en place en mode non bloquant. Plus d'information sur : https://doc-si.inria.fr/pages/viewpage.action?pageId=146834656
Quota verification is enabled for projects in non-blocking mode. More information: https://doc-si.inria.fr/pages/viewpage.action?pageId=146834656
Dans le cadre des maintenances programmées des instances Gitlab Inria, lundi 06 janvier 2025 le service Gitlab externe sera mis à jour. Le service sera indisponible quelques minutes dans la plage horaire 9h-13h. Nous communiquerons sur l'avancement de la MAJ sur le canal Mattermost: https://mattermost.inria.fr/devel/channels/gitlab Nous vous recommandons de pas travailler sur la plateforme avant qu'une annonce sur le serveur ne vous indique la fin de la maintenance.
Add algebraic datatypes in System F (along with an environment to store them). We implement a translation from ML to System F in two passes : the first pass goes from ML to a nominal representation of System F, the second goes from this to a representation using De Bruijn indices. (cc @gasche)