Function lambda_calculus::arithmetic::pow

pub fn pow() -> Term

Applied to two Church-encoded numbers it raises the first one to the power of the second one.

POW := λbe.e b = λ λ 1 2

Example

use lambda_calculus::arithmetic::pow;

let mut expr = pow().app(2.into()).app(3.into());
expr.beta_full();

assert_eq!(expr, 8.into());