If you like reasoning about a program in terms of expression trees/graphs, I recently discovered that Wolfram Language has built-ins for this: https://referenc

If you like reasoning about a program in terms of expression trees/graphs, I recently discovered that Wolfram Language has built-ins for this: https://reference.wolfram.com/language/ref/ExpressionTree.html.en https://reference.wolfram.com/language/ref/ExpressionTree.ht...