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 programming language theorists and mathematicians. Or just anyone who wants to hang out.