This repository has been archived by the owner on Jul 2, 2022. It is now read-only.

Issue with Practical TLA+ Repository #65

Closed

asmyers opened this issue Oct 19, 2018 · 1 comment

asmyers commented Oct 19, 2018

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

Apress/practical-tla-plus#1

Thanks!

Owner

hwayne commented Oct 19, 2018

Yup, fixed!

hwayne closed this as completed

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.