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)
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)