Re: [tlaplus] Practical TLA+ now out

[Philip White <phi...@xxxxxxxxxxxxx>]

Thanks, that’s exactly what I was looking for. Just bought a copy. :)

> On Feb 6, 2019, at 3:53 PM, A. Jesse Jiryu Davis <je...@xxxxxxxxxxxxxxx> wrote:
> 
> I see an answer from Hillel here:
> 
> https://learntla.com/book/
> 
> I haven't read the book yet though, I've only read the site, so I don't personally know the degree of overlap.
> 
> On Wed, Feb 6, 2019 at 5:37 PM Philip White <phi...@xxxxxxxxxxxxx> wrote:
> Hi, Hillel,
> 
> How much overlap is there between the book and your site "Learn TLA”? Is the book a physical form of the site, or is there a significant amount that’s JUST in the book?
> 
> Thanks.
> 
> — 
> Philip
> 
> > On Jan 23, 2019, at 10:57 PM, Morgan Weetman <morgan....@xxxxxxxxx> wrote:
> > 
> > Thanks Wayne..great work...my copy arrived recently and I've just got to chapter 3
> > 
> > On Fri, 19 Oct. 2018, 10:27 Hillel Wayne <hwa...@xxxxxxxxx wrote:
> > The book's done! My announcement is here and the publisher page is here. Super happy to share it out and hope you enjoy reading it!
> > 
> > Hillel
> > 
> > -- 
> > You received this message because you are subscribed to the Google Groups "tlaplus" group.
> > To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+u...@xxxxxxxxxxxxxxxx.
> > To post to this group, send email to tla...@xxxxxxxxxxxxxxxx.
> > Visit this group at https://groups.google.com/group/tlaplus.
> > For more options, visit https://groups.google.com/d/optout.
> > 
> > -- 
> > You received this message because you are subscribed to the Google Groups "tlaplus" group.
> > To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+u...@xxxxxxxxxxxxxxxx.
> > To post to this group, send email to tla...@xxxxxxxxxxxxxxxx.
> > Visit this group at https://groups.google.com/group/tlaplus.
> > For more options, visit https://groups.google.com/d/optout.
> 
> -- 
> You received this message because you are subscribed to the Google Groups "tlaplus" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+u...@xxxxxxxxxxxxxxxx.
> To post to this group, send email to tla...@xxxxxxxxxxxxxxxx.
> Visit this group at https://groups.google.com/group/tlaplus.
> For more options, visit https://groups.google.com/d/optout.
> 
> -- 
> You received this message because you are subscribed to the Google Groups "tlaplus" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+u...@xxxxxxxxxxxxxxxx.
> To post to this group, send email to tla...@xxxxxxxxxxxxxxxx.
> Visit this group at https://groups.google.com/group/tlaplus.
> For more options, visit https://groups.google.com/d/optout.