4 ms·
Saying dependent types can be erased is like saying math only contains tautologies. Both are _technically_ true.
by nialv7 11mo ago
Saying dependent types can be erased is like saying math only contains tautologies. Both are _technically_ true.