2021-07-02: La récursivité rak
================================================================
Je viens de trouver une erreur pas mal catastrophique dans mon
traitement des types récursifs. Son origine: une petite phrase
de rien que j'ai écrit il y a deux ans que j'ai crue vraie les
mille et mille fois que je l'ai relue. Mon conseil à tous les
futurs thésards: si jamais on te propose de travailler
là-dessus, décrisse de là au plus sacrant. Change de nom, de
numéro, d'adresse. La récursivité, c'est l'enfer ici sur terre.
