4 ms·That also sounds like a good french name for Binary Lamda Calculus.by tromp 1mo agoThat also sounds like a good french name for Binary Lamda Calculus.