Dependent Types

Famous quotes containing the words dependent and/or types:

“Let ... individuals make the most of what God has given them, have their neighbors do the same, and then do all they can to serve each other. There is no use in one man, or one nation, to try to do or be everything. It is a good thing to be dependent on each other for something, it makes us civil and peaceable.”
—Sojourner Truth (c. 1797–1883)

“If there is nothing new on the earth, still the traveler always has a resource in the skies. They are constantly turning a new page to view. The wind sets the types on this blue ground, and the inquiring may always read a new truth there.”
—Henry David Thoreau (1817–1862)