Function lambda_calculus::data::num::parigot::one

source · 
pub fn one() -> Term
Expand description

Produces a Parigot-encoded number one.

ONE ≡ λsz.s ZERO z ≡ λ λ 2 ZERO 1

Example

use lambda_calculus::data::num::parigot::one;
use lambda_calculus::*;

assert_eq!(one(), 1.into_parigot());