Comment by nialv7

3 months ago

Saying dependent types can be erased is like saying math only contains tautologies. Both are _technically_ true.

0 comments