2 ms·
I love the zooming & want to use this for category theory diagrams.
by crawfordcomeaux 9y ago
I love the zooming & want to use this for category theory diagrams.
- hcs 9y agoThanks! If you can point me to a good structure I'd like to try coding it up in this system, category theory has mostly gone over my head so I'm not sure what you're thinking of. If it's large I might finally have to start optimizing :)