Skip to content

Details

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

Let's read more of Compiling with the Sequent Calculus by Müller et al. (https://proofmatters.slack.com/files/U344CV9U0/F09UWEEEVNY/compiling-sc.pdf), then get together to discuss it.

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

You may also like