4 ms·
Unless you are talking about fancy dependent typing you might misunderstand the quip. Writing code does not test it.
by duped 2y ago
Unless you are talking about fancy dependent typing you might misunderstand the quip. Writing code does not test it.