Just submitted my corrections to the final proofs and indexing. Barring any further notice from my publisher, I am done working on _Practical TLA+_.
Replying to @hillelogram
Congratulations, looking forward to seeing it :)
1:45 PM - 14 Sep 2018
0 replies
0 retweets
2 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.