A circuit-like notation for lambda calculus (2015) by from Hacker News on 2020-08-17 23:02 (#570KG) Comments