Crate closure_calculus

Crate closure_calculus 

Source
Expand description

§Closure Calculus

An implementation of Closure Calculus

Based on paper by Barry Jay: https://dl.acm.org/doi/pdf/10.1145/3294032.3294085

Enums§

Expr
Stores expressions for Closure Calculus.

Functions§

app2
Applies function to two arguments.
fst
The first argument function.
id
The identity function.
snd
The second argument function.