[tlaplus] Re: TLA+ intellij plugin

[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 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/0904c956-5062-45f5-9181-48ddfd34c40bn%40googlegroups.com.