Post

men are from Type, women are from Prop

Amos Wenger@fasterthanli.me

gf with pred/succ pronouns

"a Type is not a Type" checkmate toxic masculinity also not all Props are decidable...

27/3/26, 8:13 pm0 reposts1 like

The ones that aren't decidable are the most interesting. I for one am glad my propfriend isn't