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::{one, pow};
use lambda_calculus::reduction::normalize;

assert_eq!(normalize(pow().app(one()).app(one())), one());