• # Mais alors ...

    Posté par . En réponse à la dépêche Sortie de la version 2.5 du langage Tom. Évalué à 4.

    ... ça veut dire que manipuler des automates d'arbres modulo des théories équationelles pourrait servir un jour ... j'en verse une larme, je ne suis plus un fardeau pour la société !