A circuit-like notation for lambda calculus
13 by apsec112 | 10 comments on Hacker News.