DuckCorp Dico

Found one definition

1.                 From The Collaborative International Dictionary of English v.0.48:
                   
   
   
                   
                     
   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]