Post

oh you’re into static typing? name all the types

forall a. a

15/11/24, 11:40 am0 reposts6 likes

Well, actually we only have the empty set, everything else can be derived from there