Dependent Types

Famous quotes containing the words dependent and/or types:

“The awareness that health is dependent upon habits that we control makes us the first generation in history that to a large extent determines its own destiny.”
—Jimmy Carter (James Earl Carter, Jr.)

“The American man is a very simple and cheap mechanism. The American woman I find a complicated and expensive one. Contrasts of feminine types are possible. I am not absolutely sure that there is more than one American man.”
—Henry Brooks Adams (1838–1918)