TLA+ With Elixir

Questions & Help Questions
2

I did quite a lot in JavaScript based on → sam.js.org
But never had the desire to try within Elixir.

So I’m also curious if anyone does?