Function lambda_calculus::combinators::k
[−]
[src]
pub fn k() -> Term
K - the constant / discarding combinator.
K := λxy.x = λ λ 2 = true
Example
use lambda_calculus::combinators::k; use lambda_calculus::arithmetic::{zero, one}; use lambda_calculus::reduction::normalize; assert_eq!(normalize(k().app(zero()).app(one())), zero());