Tree Calculus - Hackdot

Re:Tree Calculus by nlitened on Tuesday December 10, 2024 @05:59AM (#42375696)

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/ — might be handy for other people who are visual thinkers.

[ Parent | on HN ]

Re:Tree Calculus by olydis on Tuesday December 10, 2024 @06:56AM (#42376025)

Super cool! I think a (potentially animated) version of this would be an excellent addition for the website's "Specification" page :)

[ Parent | on HN ]

Re:Tree Calculus by nlitened on Tuesday December 10, 2024 @07:41AM (#42376301)

Let me know if I can help. Or just feel free to take the pics as they are.

[ Parent | on HN ]

Re:Tree Calculus by olydis on Tuesday December 10, 2024 @08:08AM (#42376478)

Thanks! For now, I added a link to your website to https://treecalcul.us/specification/ just now.

[ Parent | on HN ]

Re:Tree Calculus by alan-crowe on Tuesday December 10, 2024 @02:30PM (#42380490)

That 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.

[ Parent | on HN ]

Re:Tree Calculus by nlitened on Tuesday December 10, 2024 @02:40PM (#42380591)

Thank you for your kind words and also for noticing the mistake — fixed.

[ Parent | on HN ]