λab

(λx. x) λy. y

Press the backslash key to type a λ.

Reduction Strategy

Share

IF ≜ λb. λt. λf. b t f

Press the = key to type a ≜. Press the enter key when done to save your definition.

Your currently defined macros: