14 Jul
2023
14 Jul
'23
15:20
Super! Au fait, je viens de pousser ce que j’ai fait jusqu’à présent sur les types quotients sur une nouvelle branche `quotient-types`.
James
Le 14 juill. 2023 à 00:52, Stefan Monnier monnier@iro.umontreal.ca a écrit :
Désolé pour le retard je l’avais complètement oublié, je viens de créer une branche qui s’appelle `cubical-equality`.
Merci. Je l'ai divisé en quelques commit plus ou moins indépendants et je l'ai poussé sur `main`.
Stefan