• [^] # Re: La lettre

    Posté par . En réponse au journal [HS] Fin de la récré pour les climato-sceptiques ?. Évalué à 4.

    Plutôt démontrer des propriétés du genre « mon algorithme d'inférence de type termine, découvre les types les plus généraux » et « tout programme bien typé ne fait pas d'erreur mémoire », en fait.