[PL-sem-jr] May 24

[Ming-Ho Yee]

Since some people were busy this week, let's continue working on the
non-optional, non-advanced exercises in Basics [1] and Induction [2].

Next week, we'll discuss solutions or any interesting exercises from those
chapters, and then decide what to do for the following week.


When: Thursdays at 2pm
Where: WVH 362


[1] https://softwarefoundations.cis.upenn.edu/current/lf-current/Basics.html
[2]
https://softwarefoundations.cis.upenn.edu/current/lf-current/Induction.html
-------------- next part --------------
HTML attachment scrubbed and removed