mrsc
mrsc copied to clipboard
PFP: Generic component for residuation
It is extremely easy to make a generic component for residuation if residual program is in form: lhs -> rhs
with scoping. It also should be true top-down residuation: code generator should produce self-efficient expression for a subtree/subgraph.