5 ms·

Actually with dependent types you totally can encode proofs that your logic is correct. But I don't really see that trickling down into mainstream programming a

by jcora 7y ago

Actually with dependent types you totally can encode proofs that your logic is correct. But I don't really see that trickling down into mainstream programming anytime soon.