[PL-sem-jr] PL Junior Nov 28

[Ming-Ho Yee]

Due to lack of quorum (something about turkey), PL Junior is cancelled next
week. We will resume the following week, on Tuesday, November 28.

Please read Chapter 20 (but skip 20.3) of TAPL, on recursive types. Work on
questions 20.1.2 and 20.1.4, and we'll discuss the solutions when we meet.


When: Tuesdays at 2pm
Where: Behrakis 307
-------------- next part --------------
HTML attachment scrubbed and removed