pun1
n.
a joke exploiting the different meanings of a word or the fact that there are words of the same sound and different meanings.
v.
(puns, punning, punned)
[
often as adj. punning]
make a pun.
Derivative
- punningly adv.
- punster n.
Etymology
C17: perh. an abbrev. of obs. pundigrion, as a fanciful alt. of punctilio.
pun2
v.
(puns, punning, punned)
Brit. consolidate (earth or rubble) by pounding it.
Derivative
Etymology
C16: dial. var. of pound2.