Fun : Dictionary / Wörterbuch (BEOLINGUS, TU Chemnitz)

English Dictionary: Fun	by the DICT Development Group
3 results for Fun
From WordNet (r) 3.0 (2006) [wn]:
fun n activities that are enjoyable or amusing; "I do it for the fun of it"; "he is fun to have around" Synonym(s): fun, merriment, playfulness verbal wit or mockery (often at another's expense but not to be taken seriously); "he became a figure of fun"; "he said it in sport" Synonym(s): fun, play, sport violent and excited activity; "she asked for money and then the fun began"; "they began to fight like fun" a disposition to find (or make) causes for amusement; "her playfulness surprised me"; "he was fun to be with" Synonym(s): playfulness, fun
From Webster's Revised Unabridged Dictionary (1913) [web1913]:
Fun \Fun\, n. [Perh. of Celtic origin; cf. Ir. & Gael. fonn pleasure.] Sport; merriment; frolicsome amusement. [bd]Oddity, frolic, and fun.[b8] --Goldsmith. {To make fan of}, to hold up to, or turn into, ridicule.
From The Free On-line Dictionary of Computing (15Feb98) [foldoc]:
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).