Up
Preliminary implementation of UP operations described in the paper.
Subtopics
- Up-past-op
- Lift a variable through a (single) operator.
- Up-past-var
- Lift a variable through another (single) variable.
- Up-one-aux
- Lift one variable through a bed (recursively).
- Up-one*
- Up-one
