Elaborating Dependent (Co)Pattern Matching

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

Let's read Cockx and Abel's Elaborating Dependent (Co)pattern Matching (https://dl.acm.org/doi/pdf/10.1145/3236770) and get together to discuss it.

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