I find this an interesting diversion back down the path of cweb. Specifically to...

taeric on March 3, 2017 | parent | context | favorite | on: Mathematical Notation in Emacs

I find this an interesting diversion back down the path of cweb. Specifically to introduce some more notations for things such as Null, and the boolean operations.