-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Bonjour. J'ai juste mise à jour la page du cours avec la nouvelle version de TrivialML qui contient aussi le contrôle de type statique et le couples : http://www-lipn.univ-paris13.fr/~saiu/teaching/PFA-2010 Je vous rappelle encore une fois que ajouter le support pour les opérateurs unaires serait un bon exercice. Le parseur supporte déjà les sélecteurs «left» et «right» sur les couples et l'opérateur booléen «not»: il faut modifier juste le contrôle de type et l'interpréteur. J'ai aussi corrigé l'erreur dans «Typing "TrivialML"» : la version électronique que vous trouvez sur le site mantinent contient la règle [lambda] correcte. Je m'excuse encore une fois pour la confusion. Très cordialement, - -- Luca Saiu http://www-lipn.univ-paris13.fr/~saiu GNU epsilon: http://www.gnu.org/software/epsilon Marionnet: http://www.marionnet.org -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iEYEARECAAYFAkz2JrcACgkQvzOavibF0oaE1wCdF1a1Vk0cJqncqmkO1yV3twnF hX8AoKVz+iC5fU4453ZHp6m0U6D3+JAD =pVQc -----END PGP SIGNATURE-----