Function lambda_calculus::data::num::signed::neg

source ·

pub fn neg() -> Term

Expand description

Applied to a signed integer it flips its sign.

NEG ≡ SWAP

Example

use lambda_calculus::data::num::signed::neg;
use lambda_calculus::*;

assert_eq!(beta(app(neg(), 1.into_signed(Church)), NOR, 0), (-1).into_signed(Church));