you can't have category theorywithoutcat 🐈
@haskal nor withoutgory 👀
A Mastodon instance for users who like the study of programming languages, formal semantics, types, or linguistics.
@haskal nor without
gory 👀