-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On 11/17/2011 03:31 PM, Joan LLodrà Riera wrote:

Bonjour l'erreur est dans le conditional:

je pens que vous devez mettre if c1 = B(vrai) then E(e2) else E(e3)

Bien sûr. Je voulais donner l'opportunité de bien lire la définition, mais vous avez été très rapide. J'ai juste publié une nouvelle version 2.3 corrigée. - -- 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.11 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iEYEARECAAYFAk7FMgYACgkQvzOavibF0oYUKACeLt5NU68UD+xnF5OsIkwbhkOJ JLUAn2lCSOXmcaAVwUyNrwTupWl67RVu =nN1h -----END PGP SIGNATURE-----