Erased Postulates, Identity Types and Quotients
Details
*** PLEASE NOTE THAT WE ARE MEETING ON SUNDAY, NOT SATURDAY ***
Let's read Nils Anders Danielsson's Erased Postulates, Identity Types and Quotients (https://arxiv.org/pdf/2609.08578) as we continue puzzling over the nature of equality as expressed in programming languages.
We'll meet over Zoom and post the meeting URL here a few minutes before meeting start time.