Skip to main content

head_reduction_ty

oxilean_std::lambda_calculus::functions

Function head_reduction_ty 

Source 
pub fn head_reduction_ty() -> Expr
Expand description

HeadReduction: reduce the head redex (lazy evaluation)