Closed-lambda -> dynamic-lambda John Cowan 24 May 2018 22:11 UTC