Keynote
1:12:00
The foundations of the Elixir type system
See related post and erratum: https://elixir-lang.org/blog/2023/09/20/strong-arrows-gradual-typing/
See related post and erratum: https://elixir-lang.org/blog/2023/09/20/strong-arrows-gradual-typing/