I love drawing the funny diagrams. I've decided to be a category theorist now even if all my current understanding is informal

Follow

I will quickly change my mind when someone says anything I don't understand

Sign in to participate in the conversation
types.pl

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.