Deakstadieđáhus: Introduction to Domain Theory