search

Apress / practical-tla-plus

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

Typo #2

Closed Aluriak closed 3 years ago

Aluriak commented 5 years ago

Chapter 2, page 37: «since we'd be using Append instead of Cardinality» should read «since we'd be using Len instead of Cardinality».

hwayne commented 5 years ago

Guess who forgot to watch this repo

ME

Just finished adding some errata, will add this one in the next batch. Thanks for catching it!

Aluriak commented 5 years ago

No problemo.