4 ms·

Exactly this. Already we have this issue with typed languages today. Proof languages will be welcomed but we must apply discipline as we do today with type hea

by fallat 4y ago

Exactly this. Already we have this issue with typed languages today. Proof languages will be welcomed but we must apply discipline as we do today with type heavy languages.