Punned

verb

1. To beat; strike with force; to ram; to pound, as in a mortar; reduce to powder, to pulverize.
2. To make or tell a pun; to make a play on words.

   "We punned about the topic until all around us groaned."