Addendum: "Tromp Diagrams" (aka "Lambda Diagrams") are potentially related to Tree Calculus, and should be added to the list above, at the very least as a visua

Addendum: "Tromp Diagrams" (aka "Lambda Diagrams") are potentially related to Tree Calculus, and should be added to the list above, at the very least as a visualization tool for Lambda Calculus, and potentially as an additional visualization tool for other compatible systems: https://tromp.github.io/cl/diagrams.html https://tromp.github.io/cl/diagrams.html Related Video: 2swap - "What is PLUS times PLUS?" https://www.youtube.com/watch?v=RcVA8Nj6HEo https://www.youtube.com/watch?v=RcVA8Nj6HEo (An excellent example of how Lambda/Tromp Diagrams can be used to visualize Mathematics (i.e. application of a function to another function, recursive functions, etc., as line drawings with horizontal and vertical lines -- which almost look like Sanskrit...))