Article URL: https://corentin-core.github.io/posts/ruxe-type-level-disjointness/ Comments URL: https://news.ycombinator.com/item?id=48681361 Points: 12 # Comments: 3