[Typer] Re: Boucle infinie - Typechecking d'un case qui utilise la preuve d'égalité insérée dans le contexte

Salut James, Merci pour ton exemple. Je nage dans un océan d'éxamens mais j'espère trouver un peu de temps cette fin de semaine pour reproduire ton problème. Stefan