Apress / practical-tla-plus

Source Code for 'Practical TLA+' by Hillel Wayne

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Typo

Aluriak opened this issue · comments

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

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!

No problemo.