English Dictionary
◊ DID YOU MEAN FUN?
fun
adj : providing enjoyment; pleasantly entertaining; "an amusing
speaker"; "a diverting story"; "a fun thing to do"
[syn: {amusing}, {amusive}, {diverting}, {fun(a)}]
n 1: activities that are enjoyable or amusing; "I do it for the
fun of it"; "he is fun to have around" [syn: {merriment},
{playfulness}]
2: verbal wit (often at another's expense but not to be taken
seriously); "he became a figure of fun" [syn: {play}, {sport}]
3: violent and excited activity; "she asked for money and then
the fun began"; (colloquial) "they began to fight like
fun"
4: a disposition to find (or make) causes for amusement; "her
playfulness surprised me"; "he was fun to be with" [syn: {playfulness}]
English Computing Dictionary
◊ XFUN
Xfun
A {polymorphic} {functional language} which is a cross between
{SML} and {Russell}, developed by S. Dalmas
of {INRIA} in 1991, and intended for
{computer algebra}.
["A Polymorphic Functional language Applied to Symbolic
Computation", S. Dalmas, Proc Intl Symp Symb Alg Comp,
Berkeley 1992].
(1995-02-03)