Pun \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. [1913 Webster]