News for hackers. Stuff that matters.

A comment on A circuit-like notation for lambda calculus (2015). Parent comment

Re:A circuit-like notation for lambda calculus (2015) by avador on Monday August 17, 2020 @09:34PM (#24194408)
This talk by David Beazley (Lambda Calculus from the Ground Up) might be useful: https://youtu.be/pkCLMl0e_0k

Zero and one come in around the 35 minute mark (after booleans).

[ Parent | on HN ]
Re:A circuit-like notation for lambda calculus (2015) by sitkack on Tuesday August 18, 2020 @08:53AM (#24197995)
David Beazley talks are like albums or fine meals and should be consumed from beginning to end.
[ Parent | on HN ]