Someone has got to come up with a better name for crude-but-effective it's way too long. Favonia et al. had the opportunity and then didn't and continued calling it crude-but-universal which is longer and more boring
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.