4 ms·
https://elixirforum.com/t/any-update-on-the-set-theoretic-types/55553/4 https://elixirforum.com/t/any-update-on-the-set-theoretic-ty...
by olafura 3y ago
https://elixirforum.com/t/any-update-on-the-set-theoretic-types/55553/4 https://elixirforum.com/t/any-update-on-the-set-theoretic-ty...
- bradrn 3y agoAnd a direct link to the paper: https://www.irif.fr/_media/users/gduboc/elixir-types.pdf https://www.irif.fr/_media/users/gduboc/elixir-types.pdf