Category Theory
Zulip Server
Archive

You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.

Stream: practice: software

Topic: A tool for learning TikZ

Eduardo Ochs (Nov 10 2022 at 05:40):

Hi all, I made this:

"Eev and TikZ, or: how to learn TikZ using a REPL"
http://angg.twu.net/eev-tikz.html

And it is helping me a lot. That page doesn't have anything specific for string diagrams, but I'm using it to decypher the code in Spivak and Schultz's TikZWD...