[PL-sem-jr] Monday meeting and voting on topics

[Artem Pelenitsyn]

Hey all,

We'll meet on Monday, 9:30 AM, WVH 166 to continue reading the
Incorrectness Logic paper starting from Section 3.1.

We voted on the topics last weekend but the poll is still open: jump in if
you have not already!

https://civs.cs.cornell.edu/cgi-bin/vote.pl?id=E_a654170768f2d024&akey=3837b812cd4485a4

So far, Agda is first and Category Theory is second. But I felt more
passion towards categories among some participants. One possible move
(which we can discuss, among the others, at the end of Monday meeting, I
guess): is to take categories, no matter that it's second.

Think about it! And vote!

--
Kind regards,
Artem & Julia
-------------- next part --------------
HTML attachment scrubbed and removed