3 ms·
Jose Valim is investigating set-theoretic types, as you may have heard: https://news.ycombinator.com/item?id=37593967 https://news.ycombinator.com/item?id=37593
by chem83 3y ago
Jose Valim is investigating set-theoretic types, as you may have heard: https://news.ycombinator.com/item?id=37593967 https://news.ycombinator.com/item?id=37593967