Internal Parametricity for Cubical Type Theory
Details
*** PLEASE NOTE THAT WE ARE MEETING ON SUNDAY, NOT SATURDAY ***
In a slight change of direction, let's read Cavallo and Harper's Internal Parametricity for Cubical Type Theory, or at least as much of it as we can square away (maybe no more than Section 1—we're really in this for the cubicality, not the parametricity).
We'll meet over Zoom and post the meeting URL here a few minutes before meeting start time.