Once #214 is finished, we can prune the AST to remove unnecessary bindings... the ones that might have become obsolete after the simplification step. This will not decrease the number of iterations from evaluation, but may significantly reduce the size of the store that's generated from the resulting Lurk expression.
Once #214 is finished, we can prune the AST to remove unnecessary bindings... the ones that might have become obsolete after the simplification step. This will not decrease the number of iterations from evaluation, but may significantly reduce the size of the store that's generated from the resulting Lurk expression.