The RedPRL Proof Assistant

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

Let's get cubical again and take a look at The RedPRL Proof Assistant
(https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?LFMTP2018.1.pdf). (I don't see a way to make red text in meetup, so I can't do the paper's title typographical justice, but just imagine that you're seeing red.)

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