Didn't know about this. Blew me away. The editor looks really awesome. What is the software called? I am somewhat intrigued by the idea to represent arbitrary

Didn't know about this. Blew me away. The editor looks really awesome. What is the software called? I am somewhat intrigued by the idea to represent arbitrary systems. I wonder where you might hit a wall within the editor, and how you can extend the editor to be able to visualize what might be possible to vizualize now. Like Emacs paired with these capabilities?