Hacker News new | ask | show | jobs
by chem83 994 days ago
Jose Valim is investigating set-theoretic types, as you may have heard: https://news.ycombinator.com/item?id=37593967