01 Aug 25
A now classic talk that links propositions, types and categories together.
by kawcco
6 months ago
A now classic talk that links propositions, types and categories together.