Lukas' Notes

lambda-calculus combinators

Definition

Identity Combinator

The identity combinator is defined as: