Domain theory in Agda