Text this: Continuous lattices and their applications