Re:All you need is λ, part one: booleans
by caseyohara on Saturday September 26, 2020 @05:54PM
(#24602476)
On the same topic, Jim Weirich's 2012 talk "Y Not - Adventures in Functional Programming" on lambda calculus and the (little 'c') Y combinator is fantastic.
https://www.youtube.com/watch?v=FITJMJjASUs