Post

men are from Type, women are from Prop

Amos Wenger@fasterthanli.me

gf with pred/succ pronouns

@bisimulation.bsky.social

Yeah they are al the same...

Silence Haskeller , a Theorem Prover is TAlking

27/3/26, 5:37 pm1 repost3 likes

No replies yet.