[PL-sem-jr] scheduling, redundancy

[Richard C. Cobbe]

Morning, all.

After class last night, I was talking with Dave and Ryan, and we
realized that just about everyone on this list is also taking HoPL.
Given that, it looks as though PL Jr might be somewhat redundant for
this semester --- not to mention the fact that HoPL is likely to consume
most of our time.

So, I'd like to propose letting PL Jr idle for this spring, then resume
again in the fall or summer, depending on interest and time.  What do
people think?

Richard