6 ms·
"The limits of my keyboard mean the limits of my programming language." If only they had had ⊥ and ⊤ somewhere on their keys to work with Booleans directly whi
by anvandare 1y ago
"The limits of my keyboard mean the limits of my programming language."
If only they had had ⊥ and ⊤ somewhere on their keys to work with Booleans directly while designing the languages. In another branch of history, perchance.[1]
[1] https://en.wikipedia.org/wiki/APL_(programming_language)#/media/File:APL-keybd2.svg https://en.wikipedia.org/wiki/APL_(programming_language)#/me...
- tossandthrow 1y ago⊥ and ⊤ is not entirely congruent to false and true. Boolean and propositional logic is not the same.
- Q6T46nT668w6i3m 1y agoFor _ordinary_ two‑valued classical propositional logic, e.g., YAML, they are congruent.
- rusk 1y agoI have an emacs macro for this