Elixir-Lang (auto-discovered)

Elixir v1.20 has been released, introducing a gradually typed system that performs type inference and type checking on all Elixir programs without requiring type annotations. The update enables Elixir…