Crate closure_calculus[−][src]
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. |