lambda calculus

algorithme, code

vrai = (x, y) => x; faux = (x, y) => y;