1 Programmation en OCaml - Anthony Lick
Corriger la fonction pour qu'elle termine sur toute entrée tout en restant correcte. 6. Démontrer la terminaison et la correction de la fonction corrigée. 7. (a) ...
Corriger la fonction pour qu'elle termine sur toute entrée tout en restant correcte. 6. Démontrer la terminaison et la correction de la fonction corrigée. 7. (a) ...