Ying Prefecture (Shanxi)

Yingzhou or Ying Prefecture (Chinese: 應州) was a zhou (prefecture) in imperial China in modern Shanxi, China, seated in modern Ying County. It existed (intermittently) from the 9th century until 1912.

It was one of the Sixteen Prefectures.

Geography

The administrative region of Yingzhou in the Tang dynasty falls within modern northern Shanxi. It probably includes parts of modern:

Under the administration of Shuozhou
- Ying County
- Shanyin County
Under the administration of Datong
- Hunyuan County

gollark: This is fine, I guess, I would just do it more haskellishly for reasons.

gollark: There are a bunch of useful methods for combining options.

gollark: However, bee.

gollark: Now, arguably you "shouldn't" and that's "awful" and "you don't need to abstract everything".

gollark: ```rust if stack.len() < 2 { eprintln!("DOMAIN ERROR"); } else { let a = stack.pop().unwrap(); let b = stack.pop().unwrap();```I think you could abuse option combinators for this instead, though.

References

Shi Weile, ed. (2005). Zhongguo Lishi Diming Da Cidian (中国历史地名大词典) [Large Dictionary of Chinese Historical Place Names] (in Chinese). China Social Sciences Press. p. 1306. ISBN 7-5004-4929-1.

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