These files give the basic definitions for domains (domains.agda) and
a simple (but nontrivial) example (domains-examples.agda).  Continuity
is also defined (continuous.agda).

These check with Agda 2.3.2 and version 0.7 of the Agda standard
library.
