Skip to main content

system_f_undecidable_ty

oxilean_std::lambda_calculus::functions

Function system_f_undecidable_ty 

Source 
pub fn system_f_undecidable_ty() -> Expr
Expand description

SystemFUndecidableTyping: type inference for System F is undecidable (Wells)