Post

men are from Type, women are from Prop

Amos Wenger@fasterthanli.me

gf with pred/succ pronouns

27/3/26, 5:30 pm4 reposts30 likes

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

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

so you're saying women aren't computationally relevant, aron?

it's not me it's the axiom

oh it's all just natural inherent differences now, is it?

(guy who picked the axioms) you don’t understand it’s just a consequence of the axioms

Yeah they are al the same...

Silence Haskeller , a Theorem Prover is TAlking

prop is a social construct

aron,,,