Fix POPL slides.

This commit is contained in:
Justin Hsu 2020-10-05 09:24:59 -05:00
parent 93d6a54fcd
commit aafeb0435d

Binary file not shown.