Utilisateur:Lunar
Un article de Wikipédia, l'encyclopédie libre.
Utilisateur:Lunar, anargeek, entre autres.
Truc potentiellement à faire dans un emploi du temps déjà surchargé :
- Améliorer Haskell
-
-
- Corriger référence à Clean
-
- Créer Évaluation_paresseuse
- Créer Clean
- Réfléchir à une indirection pour Curry (épice, mais aussi Haskell_Brooks_Curry et Isomorphisme_de_Curry-Howard)
- Traduire en:Curry-Howard_isomorphism
