Looks pretty neat. I wonder if this could be applied to lightweight modelling more complex systems? Something like TLA+ or Spin, but for more exploratory work but with visualizations like Runway.https://twitter.com/lynaghk/status/1002171293867937792 …
We're trying to help people just *think* of their problem in terms of a state space. Our "lightweight" knob is turned up to 11. I'd be thrilled if http://Sketch.systems starts a designer on a path that takes 'em through TLA+ or Alloy.