Dictionary entry

Pun (3)

Webster's Dictionary 1913

Pun, v. i. [imp. & p. p.Punned (?); p. pr. & vb. n.Punning.] 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.