[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] Re: TLA+ intellij plugin



> is TLA+ used much there?

Not so much yet, but few teams have already started to use it.
And currently there's an internal TLA+ study group so I think it will get more adoptions in the future...!

2022年2月4日(金) 0:40 Andrew Helwer <andrew.helwer@xxxxxxxxx>:
Very cool! Always happy to see new dev tools. From your github profile I see you work at Line; is TLA+ used much there?

Andrew

On Thursday, February 3, 2022 at 2:02:24 AM UTC-5 ocad...@xxxxxxxxx wrote:
Hi, TLA+ folks.

I would like to introduce TLA+ custom language plugin for Intellij IDEA.


I'll be glad if you're interested in, and please feel free to give your feedbacks if any.


Regards,

--
You received this message because you are subscribed to a topic in the Google Groups "tlaplus" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/tlaplus/b12usxlZkg4/unsubscribe.
To unsubscribe from this group and all its topics, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/0904c956-5062-45f5-9181-48ddfd34c40bn%40googlegroups.com.


--
========================
Okada Haruki
ocadaruma@xxxxxxxxx
========================

--
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+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/CAHf4GKo6aEdj%3Drch26skrByv5117LTECE7RP8oBkP4APUo77Gw%40mail.gmail.com.