Apress / practical-tla-plus

Source Code for 'Practical TLA+' by Hillel Wayne

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Chapter 2 - Pluscal, Page 33

heidihoward opened this issue · comments

Chapter 2 - Pluscal, Page 33.

The new macro code should be bold

Thanks for opening all of these! I slotted out mid-November to do all the errata, so even though not much is happening right now, I'm definitely looking at these.

Thank you for writing the book. It's a great resource! Let me know if you prefer another mechanism for feedback