Rock Mills, Ohio
Rock Mills is an unincorporated community in Fayette County, in the U.S. state of Ohio.
History
Former variant names were Rockville and Walton.[1] The first settlement was made near the site in 1815.[2] A mill was later built there.[2] Rock Mills has been noted for the rock deposits near the town site.[3]
gollark: ```Prelude Unsafe.Coerce System.IO.Unsafe> potatOS ()<interactive>: internal error: stg_ap_v_ret (GHC version 8.4.4 for x86_64_unknown_linux) Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug```
gollark: ```haskellimport Unsafe.Coerceimport System.IO.Unsafedata OS = CCIsBad String deriving Showdata The = The deriving Showdata Best = The OS deriving Showdata PotatOS = Is The Best OS deriving ShowpotatOS = unsafePerformIO . unsafeInterleaveIO . unsafeCoerce; potatOS :: () -> PotatOS```
gollark: What about `^`, `*`, `*`, unary `-`, `%` etc?
gollark: Ah, you want arrow operators.
gollark: So this, but without passing the result of one to the other...?
References
- U.S. Geological Survey Geographic Names Information System: Rock Mills, Ohio
- Allen, Frank M. (1914). History of Fayette County, Ohio: Her People, Industries and Institutions. B. F. Bowen, Incorporated. p. 325.
- Dills, R. S. (1881). History of Fayette County: Together with Historic Notes on the Northwest, and the State of Ohio. Gleaned from Early Authors, Old Maps and Manuscripts, Private and Official Correspondence, and All Other Authentic Sources. Odell & Mayer. p. 368.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.