Dover, Boone County, Indiana

Dover is an unincorporated community in Jefferson Township, Boone County, in the U.S. state of Indiana.[2]

Dover
Dover
Coordinates: 40°03′16″N 86°37′12″W
Country United States
State Indiana
CountyBoone
TownshipJefferson
Elevation899 ft (274 m)
Time zoneUTC-5 (Eastern (EST))
  Summer (DST)UTC-4 (EDT)
ZIP code
46071
Area code(s)765
GNIS feature ID433658

History

A post office was established at Dover in 1860, and remained in operation until it was discontinued in 1872.[3]

Geography

Dover is located at 40°03′16″N 86°37′12″W, at the intersection of IN 32 and IN 75, about 7 miles west of Lebanon.[4]

gollark: Look, it has pattern matching in it, therefore good.
gollark: How SHOULD I do it?
gollark: ↑ you, as a result
gollark: ```rustfn matches(expr: &Value, condition: &Value) -> Option<Bindings> { match (expr, condition) { (Value::Num(a), Value::Num(b)) => if a == b { Some(HashMap::new()) } else { None }, (Value::Call(efn, eargs), Value::Call(rfn, rargs)) => { if efn != rfn { return None } if rargs.len() != eargs.len() { return None } let mut out_bindings = HashMap::new(); for (rarg, earg) in rargs.iter().zip(eargs) { match matches(earg, rarg) { Some(x) => out_bindings.extend(x), None => return None } } Some(out_bindings) }, (_, Value::Identifier(b)) => Some(vec![(b.clone(), expr.clone())].into_iter().collect()), _ => None }}```
gollark: You fell right into my trap, actually.

References



This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.