return to top
source
Returns all lambda expressions in the equivalence class with root root.
root
Returns the root of the functions in the equivalence class containing e. That is, if f a is in roots equivalence class, results contains the root of f.
e
f a
f
For each lam in lams s.t. lam and f are in the same equivalence class, propagate f args = lam args.
lam
lams
f args = lam args
Applies beta-reduction for lambdas in fs equivalence class. We use this function while internalizing new applications.