English Dictionary
faun
n : ancient Italian deity in human shape, with horns, pointed
ears and a goat's tail; equivalent to Greek satyr
English Computing Dictionary
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).