[PL-sem-jr] May 24

[Ming-Ho Yee]

Reminder: we're meeting today at *2pm* in *WVH 362*.

There's been a request to reschedule our weekly meetings, due to conflicts.
If your scheduling constraints have changed, please update the poll:
https://www.when2meet.com/?6883534-b55N4

On Thu, May 17, 2018 at 5:26 PM, Ming-Ho Yee <yee.mi at husky.neu.edu> wrote:

> 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