lambda 2

• Lambda Lambda Lambda Jun 18, 2020
• Why were abbrev. lambdas rejected? Jan 15, 2020