Ryan Steele λ SteeleDynamics

Husband, Dad, Computer Science, PL Theory, Compilers, Nerd. Here's the Y-Combinator: Y = λf.(λx.f (x x)) (λx.f (x x))