Hacker News new | ask | show | jobs
by abalashov 4570 days ago
More widespread knowledge of all the other classical deductive logical equivalences can make program syntax clearer, too. :-)