I look forward to typed-Elixir! Some interesting projects targeting the Erlang VM are Gleam [0] and caramel (ML-like, but unfortunately no longer active) [1].

I look forward to typed-Elixir! Some interesting projects targeting the Erlang VM are Gleam [0] and caramel (ML-like, but unfortunately no longer active) [1]. [0] https://github.com/gleam-lang/gleam https://github.com/gleam-lang/gleam [1] https://github.com/AbstractMachinesLab/caramel https://github.com/AbstractMachinesLab/caramel