Update TP4
Bonjour,
J'ai décidé de modifier le TP4 pour le simplifier sur quelques points, voici la liste des modifications:
- L'exercice 4 est désormais complètement bonus, pouvant vous rapporter +0.5 point.
- Les 0.75 points ont été redistribué sur le reste des exercices. (+0.25 exercice 1,2,3)
- Dans l'exercice 3, les deux règles de sémantiques de substitutions qui ont été donné sont simplifiées en une seule. En effet, vu que nous avons supposé qu'il n'y a aucun problème de conflit (variable libre/variable lié), les deux précédentes règles faisant la distinction n'ont plus lieu d'être. La question qui était relative à la différence entre ces deux anciennes règles a été supprimées.