Follow

lewd joke, type theory 

We have top types, bottom types and subtypes, when are we going to get domtypes?

(also where do switchtypes fit in)

Sign in to participate in the conversation
types.pl

A Mastodon instance for users who like the study of programming languages, formal semantics, types, or linguistics.