See also: http://nguyen.cincinnati.oh.us/locality.html
Edit: already linked in the article! That's what I get for not reading to the end!
See also: http://nguyen.cincinnati.oh.us/locality.html
Edit: already linked in the article! That's what I get for not reading to the end!
Seems like the primary use for locality domains is to explain to others how to get locality domains.