Internal Parametricity for Cubical Type Theory, Section 2

*** PLEASE NOTE THAT WE ARE MEETING ON SUNDAY, NOT SATURDAY ***

Let's continue with Cavallo and Harper's Internal Parametricity for Cubical Type Theory (https://arxiv.org/pdf/2005.11290). Let's read Section 2, which starts the discussion of parametricity.

We'll meet over Zoom and post the meeting URL here a few minutes before meeting start time.