3 ms·
It would be a mistake to conclude that this means shoes are pointless or there's no such thing as a shoe that fits well.
by lmm 9mo ago
It would be a mistake to conclude that this means shoes are pointless or there's no such thing as a shoe that fits well.
- noosphr 9mo agoIndeed, there are other invariants to type systems that are much better than cutting off your toes.