HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by olafura | Hacker News Reader
Parent
Full thread
olafura
·
https://elixirforum.com/t/any-update-on-the-set-theoretic-ty...
View on HN
bradrn
·
And a direct link to the paper:
https://www.irif.fr/_media/users/gduboc/elixir-types.pdf
Reply on news.ycombinator.com