n. 25B6; noun
I joined in with the fun : ENJOYMENT, entertainment, amusement, pleasure; jollification, merrymaking; recreation, diversion, leisure, relaxation; good time, great time; informal R and R (rest and recreation), living it up, a ball, beer and skittles.
she's full of fun : MERRIMENT, cheerfulness, cheeriness, jollity, joviality, jocularity, high spirits, gaiety, mirth, laughter, hilarity, glee, gladness, light-heartedness, levity.
he became a figure of fun : RIDICULE, derision, mockery, laughter, scorn, contempt, jeering, sneering, jibing, teasing, taunting.
boredom, misery.
25B6; adjective (informal) a fun evening : ENJOYABLE, entertaining, amusing, diverting, pleasurable, pleasing, agreeable, interesting.
25A0; in fun PLAYFUL, in jest, as a joke, tongue in cheek, light-hearted, for a laugh, to tease, teasing.
25A0; make fun of TEASE, poke fun at, chaff, rag; ridicule, mock, laugh at, taunt, jeer at, scoff at, deride; parody, lampoon, caricature, satirize; informal take the mickey out of, rib, kid, have on, pull someone's leg, send up; Brit. informal wind up; N. Amer. informal goof on, rag on, razz.