Apress / practical-tla-plus

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

Add a copy of each iteration for each modules #11

Open heidihoward opened 3 years ago

heidihoward commented 3 years ago

Currently, only some modules are included in this repo. It would be helpful if this repo included each iteration of each module e.g. the version of recycler from the start of chapter 3. Related to issue #10