C csvoss.com A circuit-like notation for lambda calculus (2015) 105 points apsec112 6 years ago 42 comments
