3 ms·
Actually I meant that the formal proof to code and the strongly typed code camps would eventually meet, as the type system grows richer it may approximate a pro
by Joeri 9y ago
Actually I meant that the formal proof to code and the strongly typed code camps would eventually meet, as the type system grows richer it may approximate a proof.
- SAI_Peregrinus 9y agoThe Homotopy Type Theory folks are way ahead of you on that one.