lewd joke, type theory Show more
We have top types, bottom types and subtypes, when are we going to get domtypes?
(also where do switchtypes fit in)
A Mastodon instance for users who like the study of programming languages, formal semantics, types, or linguistics.