3 ms·

I think that's going to change. It's my completely biased, uninformed opinion that dependently typed systems are much easier to reason about than their counterp

I think that's going to change. It's my completely biased, uninformed opinion that dependently typed systems are much easier to reason about than their counterparts.