Skip to main content

lambda_arrow_ty

oxilean_std::lambda_calculus::functions

Function lambda_arrow_ty 

Source 
pub fn lambda_arrow_ty() -> Expr
Expand description

LambdaArrow: simply-typed lambda calculus corner of cube