0La chaleur
3Répondre
1La chaleur
1Répondre
opérateur séquence et erreur terme
6La chaleur
1Répondre
Comment Binary Lambda Calculus code-t-il les parenthèses?
4La chaleur
1Répondre
Conversion alpha sur une expression de Haskell
5La chaleur
2Répondre
codage des nombres binaires en lambda-calcul