[PL-sem-jr] May 24

Ming-Ho Yee yee.mi at husky.neu.edu
Thu May 17 17:26:56 EDT 2018


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


More information about the Pl-sem-jr mailing list