Comment by nialv7 Comment by nialv7 10 hours ago 0 replies Copy Link View on Hacker News Saying dependent types can be erased is like saying math only contains tautologies. Both are _technically_ true.