Pinned post
It's game night. You're playing Set, blithe and buoyant within an edenic oasis where functions are total and least and greatest fixed points are distinct. In the tarpits below I play DCPO⊥, grizzled by the uncaring realities of a nonterminating world. We are not the same.