Lambda Calcul
Il faut effectuer les tâches suivantes
-
Mettre en "deux pages coupées" pour que le format soit un poil plus uniforme -
Ajouter le .tex
au git et pas seulement le pdf ... -
Compléter la preuve de contextualisation de la béta-réduction -
Ajouter des exemples pertinents (non triviaux)
Voilà, j'ai assigné Gaëtan parce qu'il a déjà commencé à faire ça