9 ms·That also sounds like a good french name for Binary Lamda Calculus.by tromp 28d agoThat also sounds like a good french name for Binary Lamda Calculus.