Compiling Lambda Calculus (2018) by Nils M. Holm | Hacker News Reader