3 ms·
Here are some pictures I made for myself trying to "feel" the logic of Tree Calculus's reduction rules: https://latypoff.com/tree-calculus-visualized/ https://l
by nlitened 2y ago
Here are some pictures I made for myself trying to "feel" the logic of Tree Calculus's reduction rules: https://latypoff.com/tree-calculus-visualized/ https://latypoff.com/tree-calculus-visualized/ — might be handy for other people who are visual thinkers.
- olydis 2y agoSuper cool! I think a (potentially animated) version of this would be an excellent addition for the website's "Specification" page :)
- alan-crowe 2y agoThat is very helpful. I particularly appreciate the carefully written text. I think the second figure, captioned "Stem with a single leaf child" has a mistake, with the line down from the triangle descending to a square. But that square should be a circle.
- nlitened 2y agoThank you for your kind words and also for noticing the mistake — fixed.