This release introduces gradual set-theoretic types to infer types from patterns and guards and use them to type check programs, enabling the Elixir compiler to find faults and bugs in codebases without requiring changes to existing software. [...] At the moment, Elixir developers will interact with set-theoretic types only through warnings found by the type system.