tc, Tree Calculus implementation Tree calculus is minimal, Turing-complete, reflective, modular It’s Triangles All the Way Down Rotation Distance, Triangulation, and Hyperbolic Geometry Penrose diagram