Webster's Revised Unabridged Dictionary · 1913

Pun

Pun , transitive verb

[See Pound to beat.]

To pound. [Obsolete]
He would pun thee into shivers with his fist. — Shakespeare

Pun , noun

[Compare Pun to pound, Pound to beat.]

A play on words which have the same sound but different meanings; an expression in which two different applications of a word present an odd or ludicrous idea; a kind of quibble or equivocation. — Addison
A better put on this word was made on the Beggar's Opera, which, it was said, made Gay rich, and Rich gay. — Walpole

Pun , intransitive verb

To make puns, or a pun; to use a word in a double sense, especially when the contrast of ideas is ludicrous; to play upon words; to quibble. — Dryden

Pun , transitive verb

To persuade or affect by a pun. — Addison