Apress / practical-tla-plus

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

Chapter 3 - page 45 #12

Open heidihoward opened 3 years ago

heidihoward commented 3 years ago

The following LAMBDA param1, param2, paramN: body should say LAMBDA param1, param2, ..., paramN: body on page 45