Fun

n.

1.

Sport; merriment; frolicsome amusement. To make fun of to hold up to, or turn into, ridicule.

Noun	1.	fun - activities that are enjoyable or amusing; "I do it for the fun of it"; "he is fun to have around" Synonyms: merriment, playfulness
	2.	fun - verbal wit (often at another's expense but not to be taken seriously); "he became a figure of fun" Synonyms: sport, play
	3.	fun - violent and excited activity; "she asked for money and then the fun began"; "they began to fight like fun"
	4.	fun - a disposition to find (or make) causes for amusement; "her playfulness surprised me"; "he was fun to be with" Synonyms: playfulness
Adj.	1.	fun - providing enjoyment; pleasantly entertaining; "an amusing speaker"; "a diverting story"; "a fun thing to do" Synonyms: amusing, amusive, diverting

Fun - A typed lambda-calculus, similar to SOL[2]. "On Understanding Types, Data Abstractions and Polymorphism", L. Cardelli et al, ACM Comp Surveys 17(4) (Dec 1985).

Flow Update Notification [message] (LFAP)act, action, amusement, amusing, animal pleasure, ball, be merry with, beguiling, behave, belly laugh, big time, blitheness, blue story, bodily pleasure, carnal delight, comfort, content, contentment, coziness, crack a joke, crack wise, creature comforts, delightful, dirty joke, dirty story, disport, diversion, diverting, do, double entendre, ease, endpleasure, entertaining, entertainment, ethnic joke, euphoria, fleer at, fool, forepleasure, frivolity, fruition, fun and games, function, funmaking, funny story, gag, game, gibe at, glee, gleefulness, go, good one, good story, good time, gratification, great fun, great satisfaction, gusto, hearty enjoyment, high glee, high old time, high time, hilariousness, hilarity, howler, humorous, intellectual pleasure, jape, jest, jestbook, jive, jocularity, jocundity, joie de vivre, joke, jolliness, jollity, jolly, josh, joviality, joy, joyfulness, joyousness, keen pleasure, kicks, kid, kid around, laugh, laughs, laughter, levity, lovely time, luxury, make a funny, make fun, make fun of, merriness, mirth, mirthfulness, mischief, mock, officiate, operate, panic, perform, physical pleasure, picnic, play, play on words, pleasant time, point, poke fun at, pun, quiet pleasure, quip, rag, razz, react, recreation, recreational, relish, rib, rib tickler, ridicule, riot, run, satisfaction, scintillate, scoff at, scream, self-gratification, self-indulgence, sensual pleasure, sensuous pleasure, serve, sexual pleasure, sick joke, sidesplitter, sight gag, sparkle, story, sweetness of life, take, teasing, titillating, titillation, titillative, utter a mot, visual joke, voluptuousness, well-being, wheeze, wisecrack, work, wow, yarn, zest