Identity Combinator

lambda-calculus combinators

Definition

Identity Combinator

The identity combinator is defined as:

$$\mathbf{I}\equiv \lambda x.x$$