Zulip chat board

[Shriram Krishnamurthi]

There is now a chat board for discussion about the book:

https://plai.zulipchat.com/join/szrbgsc2bnnn2loff2d6afqe/

I expect to check it at least once a week.

Note: this is meant for discussion about the book: conceptual topics, organization, design decisions, related materials, etc. It is not a place for asking about homework problems.

Hope to see some of you there!

Shriram