Skip to main content

build_lambda_calculus_env

oxilean_std::lambda_calculus::functions

Function build_lambda_calculus_env 

Source 
pub fn build_lambda_calculus_env() -> Environment
Expand description

Populate an Environment with lambda-calculus axioms and theorem stubs.