search

Apress / practical-tla-plus

Source Code for 'Practical TLA+' by Hillel Wayne
Other
286 stars 67 forks source link

Chapter 2 - Pluscal, Page 33 #8

Closed heidihoward closed 3 years ago

heidihoward commented 3 years ago

Chapter 2 - Pluscal, Page 33.

The new macro code should be bold

hwayne commented 3 years ago

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.

heidihoward commented 3 years ago

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