Every HOL argument you've ever seen.

Replies to This Discussion

Permalink Reply by Hugh on April 26, 2013 at 18:28

Thanks. John. A nicely observed piece.

• ▶ Reply

Permalink Reply by Old-Age-Emporium(OAE) on April 26, 2013 at 19:16

No, John. Can't be HOL. Not as much as a stray cat called Hitler, or a classical allusion or a misspelling in sight.

• ▶ Reply