lambda calculus

https://twitter.com/flancian/status/1379069865672245251 https://twitter.com/encincovoy/status/1379074318710280201 https://twitter.com/karlicoss/status/1379071209153904640