Dominic Verity

• Turtle graphics
• Elements of ∞-Category Theory