moved
100624
moved 94936
moved 11355
moved 97158
moved 196420
moved 16218
moved 113138
Corrigés des exercices du chapitre 1 - Xavier Leroy Exercice 1.6 Cas a = let x = a1 in a2. La seule r`egle qui s'applique est 6, et donc D est de la forme. (D1) a1 v. ? v1. (D2) a2[x ? v1] v. ? v2 a1
moved 128680
moved 158132
moved 940
moved 217
moved 146637
moved 11355
moved 97158
moved 196420
moved 16218
moved 113138
Corrigés des exercices du chapitre 1 - Xavier Leroy Exercice 1.6 Cas a = let x = a1 in a2. La seule r`egle qui s'applique est 6, et donc D est de la forme. (D1) a1 v. ? v1. (D2) a2[x ? v1] v. ? v2 a1
moved 128680
moved 158132
moved 940
moved 217
moved 146637
