cavity

n 1: a sizeable hole (usually in the ground); "they dug a pit to

bury the body" [syn: {pit}]

2: space that is surrounded by something [syn: {enclosed space}]

3: soft decayed area in a tooth; progressive decay can lead to

the death of a tooth [syn: {caries}, {dental caries}, {tooth

decay}]

4: (anatomy) a natural hollow or sinus within the body [syn: {bodily

cavity}, {cavum}]

CHARITY

A {functional language} based purely on {category

theory} by Cockett, Spencer and Fukushima, 1990-1991.

A version for {Sun4} is available from Tom Fukushima

.

["About Charity", J.R.B. Cockett et

al].

(2000-08-09)