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