Set-theoretic Types: The Theory, The Practice

This talk explores the ongoing research and practical efforts to introduce typing capabilities into Elixir, focusing on the development and integration of a set-theoretic type system.