3 ms·
There is a fascinating result about types that they have a one to one correspondence with proofs. Dependent type systems leverage that to the hilt.
by moomin 2y ago
There is a fascinating result about types that they have a one to one correspondence with proofs. Dependent type systems leverage that to the hilt.