Comment by nicce 3 months ago What do you mean with greater program complexity in this context? 1 comment nicce Reply paulddraper 3 months ago Dependent types require additional source code.That is true of static types in general.
paulddraper 3 months ago Dependent types require additional source code.That is true of static types in general.
Dependent types require additional source code.
That is true of static types in general.