Hacker News new | ask | show | jobs
by mafribe 3495 days ago
C++ and Java are not even paraconsistent: every type is inhabited.