Saying dependent types can be erased is like saying math only contains tautologi...

		nialv7 77 days ago \| parent \| context \| favorite \| on: Dependent types and how to get rid of them Saying dependent types can be erased is like saying math only contains tautologies. Both are _technically_ true.