Éditeur
Syntaxe: variables
a, x1… · lambda \x. t ou λx. t · application par juxtaposition · parenthèses (t) · multi-params \xy. t.Réductions
Prêt.