Elixir has launched its new version! Giuseppe Castagna (IRIF Senior Researcher) and Guillaume Duboc (IRIF PhD student) developed with José Valim the type-system for this open-source programming language. “This release introduces set-theoretic types into a handful of language constructs.”