λab

(λx. x) λy. y

Press the backslash key to type a λ.

▼

Interactive Mode

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:

▼