check back in a few weeks... we are working hard on the tools and you should be able to try it yourself.

I definitely want a good demo video on the page.

but listen, I get it, I tried literally 50 different such tools, they all suck. Nobody in their sane mind decides to write one if you don't have a good reason. Certainly not in Idris :-)

but we have good reasons:

1) compositional theories of diagrams exists 2) such diagrams can express many "topologically equivalent" expression in the same diagram, this is a huge win! and very different from (AFAIK) all existing node-based editors 3) use cases in decentralised computing require fault-free tools that work like this

but really, I think generally applicable usable 2d-syntax exists...