the downside of types.pl actually being serious now is i can't recreate the nightmare that was april fools 2021

Follow

everything was spinning. i changed all the fonts. it was rainbow text. oh god, it was glorious

· · Web · 1 · 0 · 9

i'll have to make something more subdued for 2023. i don't think we did anything in 2022 because i was having a moment

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.