2 ms·Aren't contracts just a worse form of dependent types?by rowanG077 4y agoAren't contracts just a worse form of dependent types?deleted 4y ago[deleted]