Post #1805737

it's actually very fun getting to learn about double categorical logic and then write code that makes things on the computer go whirrr