search

hwayne / learntla

A TLA+ guide
http://www.learntla.com
Creative Commons Attribution 4.0 International
278 stars 57 forks source link

Issue with Practical TLA+ Repository #65

Closed asmyers closed 6 years ago

asmyers commented 6 years ago

Hi @hwayne, not sure if anyone is watching the practical TLA+ repository, but it's missing the PT library advertised in the book

https://github.com/Apress/practical-tla-plus/issues/1

Thanks!

hwayne commented 6 years ago

Yup, fixed!