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.

https://github.com/ocadaruma/tlaplus-intellij-plugin

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.