from
The Collaborative International Dictionary of English v.0.48
Fun \Fun\ (f[u^]n), n. [Perh. of Celtic origin; cf. Ir. & Gael.
fonn pleasure.]
Sport; merriment; frolicsome amusement. "Oddity, frolic, and
fun." --Goldsmith.
[1913 Webster]
{To make fun of}, to hold up to, or turn into, ridicule.
{in fun}, jokingly; not seriously; for amusement.
{like fun}, definitely not; -- used adverbially, mostly to
contradict a prior assertion; A: "He says he won't do it
again." -- B: "Like fun he won't.".
[1913 Webster + PJC]