18 Jul
2023
18 Jul
'23
08:55
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`.
En attendant mon "review": Je viens de pousser un patch sur `main` qui élimine le besoin de définir `eq_eq` en ML. Tu peux utiliser la même approche pour éliminer `type_quotient_type`.
Stefan