Pond Run, Ohio
Pond Run is an unincorporated community in Scioto County, in the U.S. state of Ohio.[1]
History
A post office called Pond Run was established in 1861, the name was changed to Pondrun in 1893, and the post office closed in 1913.[2] The community takes its name from nearby Pond Run creek. Besides the post office, Pond Run had a schoolhouse.[3]
gollark: `>>=`, some lambdas, and `let x = y in z`.
gollark: Monads are just monads with monads in the monad.
gollark: Monads are just a burrito in the category of endofunctors.
gollark: The easiest way to consider them, I think, is as "applicatives with bind (`Monad m => m a -> (a -> m b) -> m b` or whatever)" and not, say, burritos.
gollark: .
References
- U.S. Geological Survey Geographic Names Information System: Pond Run, Ohio
- "Scioto County". Jim Forte Postal History. Retrieved 26 January 2016.
- Evans, Nelson Wiley (1903). A History of Scioto County, Ohio: Together with a Pioneer Record of Southern Ohio. N. W. Evans. p. 383.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.