Skip to main content

beta_reduction_ty

oxilean_std::lambda_calculus::functions

Function beta_reduction_ty 

Source 
pub fn beta_reduction_ty() -> Expr
Expand description

BetaReduction: reflexive transitive closure of →β