When you apply a rewrite to a 2d picture, it would be great if Globular could show the diagram transitioning smoothly. This would open up the possibility of creating intelligible videos of entire proofs.
One way to achieve this would be to piggyback on the 3d rendering code, once it's been implemented. Animated 2d transitions would then be defined by a slice that moves smoothly through the 3d structure.
When you apply a rewrite to a 2d picture, it would be great if Globular could show the diagram transitioning smoothly. This would open up the possibility of creating intelligible videos of entire proofs.
One way to achieve this would be to piggyback on the 3d rendering code, once it's been implemented. Animated 2d transitions would then be defined by a slice that moves smoothly through the 3d structure.