Function lambda_calculus::data::num::church::to_stumpfu

pub fn to_stumpfu() -> Term

Applied to a Church-encoded number it produces the equivalent Stump-Fu-encoded number.

TO_STUMPFU ≡ λn.n SUCC ZERO ≡ λ 1 SUCC ZERO

Example

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

assert_eq!(beta(app(to_stumpfu(), 0.into_church()), NOR, 0), 0.into_stumpfu());
assert_eq!(beta(app(to_stumpfu(), 1.into_church()), NOR, 0), 1.into_stumpfu());
assert_eq!(beta(app(to_stumpfu(), 2.into_church()), NOR, 0), 2.into_stumpfu());