Dan Marsden
Theoretical computer scientist and lover of of monads and string diagrams
Instructions for drawing string diagrams in the style of my joint work with Ralf Hinze.