Lambda Calculus Diagrams
Identity (λx.x)
First (λx.λy.x)
Second (λx.λy.y)
Twice (λf.λx.f (f x))
Application
Complex
Simple Complex Term
Multi-parameter Lambda