the downside of types.pl actually being serious now is i can't recreate the nightmare that was april fools 2021
everything was spinning. i changed all the fonts. it was rainbow text. oh god, it was glorious
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
@hazel Only allow toots that type-check
@ccshan oh fuck sake that's a good one
@hazel yes you can
@david @hazel please do
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.