I plan to try to improve the TLA+ web site. I want to make it more inviting to potential users and more helpful to current users of TLA+. I would welcome suggestions for what I should do.Leslie
--
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...@googlegroups.com.
To post to this group, send email to tla...@googlegroups.com.
Visit this group at https://groups.google.com/group/tlaplus.
For more options, visit https://groups.google.com/d/optout.
Hi Gregory,
Can you briefly describe what you have in mind in email, or perhaps in a phone call?
Thanks,
Leslie
I am aware that there should be more on the Web about PlusCal,
including a course on it. Ideally, there would be another video
course based on PlusCal, but I'm unlikely to have time to do that.
I've though of producing some kind of instructional material on
PlusCal for people who have viewed some initial segment of the Video
Course. But I don't have any good idea of how that should be done.
Meanwhile, Hillel Wayne has a very nice course based on PlusCal at
https://learntla.com. I will have a pointer to it. I also intend to
have pointers to other good material on the web, such as Ron
Pressler's four-part post.
Leslie
On Tuesday, July 10, 2018 at 2:53:03 PM UTC-7, Xabier Burgos wrote:
Hi Leslie,One of the things I would personally welcome is examples on how to use TLA+ to model distributed services architectures, which today is basically what most companies with online presence build. It would also be nice to see a bit more focus on PlusCal, which in my very brief experience with TLA+ has been a huge time saver.Additionally, I'd be happy to help with the site.@Gregory Maybe you could share that blueprint? or at least a general idea?.Thanks,Xabier
--Xabier Burgos
http://www.linkedin.com/in/xburgos