Introduction

The hosts discuss the prototype stage of a type checking system for Elixir, including the choice of set theoretic types and their partnership with a researcher and PhD student. They also mention sponsorship from companies using Elixir and the attention their prototype received on Hacker News.