NIL again

It's "Towards lambda-calculus" ( https://news.ycombinator.com/item?id=16970131 ) using {lambda talk}