Open zippy opened 8 years ago
We need this protocol to interface with tree editor user interface, and also to test tree reduction and stuff in some kind of sandbox, and then to be able to instantiate constructs "for real"
We need this protocol to interface with tree editor user interface, and also to test tree reduction and stuff in some kind of sandbox, and then to be able to instantiate constructs "for real"