add

lambda_calculus::data::num::church

Function add 

Source 
pub fn add() -> Term
Expand description

Applied to two Church-encoded numbers it produces their sum.

ADD ≡ λmn.n SUCC m ≡ λ λ 1 SUCC 2

§Example

use lambda_calculus::data::num::church::add;
use lambda_calculus::*;

assert_eq!(beta(app!(add(), 1.into_church(), 2.into_church()), NOR, 0), 3.into_church());
assert_eq!(beta(app!(add(), 2.into_church(), 3.into_church()), NOR, 0), 5.into_church());