New top story on Hacker News: A circuit-like notation for lambda calculus (2015)

A circuit-like notation for lambda calculus (2015)

Comments