lambda_mountain-1.12.9
Platform
Feature flags

docs.rs

Rust

lambda_mountain 1.12.9

Lambda Mountain

Crate
Source
Builds
Feature flags

..
adhoc.lm
adhoc.lm.out
arity1.lm
arity1.lm.out
atom.lm
atom.lm.out
cons.lm
cons.lm.out
error.lm
error.lm.out
lambda1.lm
lambda1.lm.out
lambda2.lm
lambda2.lm.out
struct1.lm
struct1.lm.out
tagged1.lm
tagged1.lm.out
typevar.lm
typevar.lm.out
unit.lm
unit.lm.out

(() (Global (f (: ((Lambda ((App ((Variable x) (Variable y))) (: ((Variable x) S)))) (-> ((Cons (S S)) S)))))))