Skip to main content

recursion_theorem_ty

oxilean_std::lambda_calculus::functions

Function recursion_theorem_ty 

Source 
pub fn recursion_theorem_ty() -> Expr
Expand description

RecursionTheorem: every function has a fixed point