4 ms·
You could think of many of the formal tools outside of dependently typed programming as design by contract plus a thingy that complains if the contract doesn't
by mcguire 4y ago
You could think of many of the formal tools outside of dependently typed programming as design by contract plus a thingy that complains if the contract doesn't work.