3 ms·
IDEs could improve significantly with Dependent Types. They could make you input at once in all the affected places. And it could be even automated for simple t
by alecco 6y ago
IDEs could improve significantly with Dependent Types. They could make you input at once in all the affected places. And it could be even automated for simple things.