diff --git a/README.md b/README.md
index 68e78a53fe23199ba2086cddbeaa3bc6d9eb6f5d..acb5a7d678685048f2b73aa78e9622f7c1e5eb39 100644
--- a/README.md
+++ b/README.md
@@ -70,3 +70,11 @@ To build all packages, run
 ```
 nix run develop/#feedback -- build
 ```
+
+## Hoogle
+
+To run a hoogle server containing the entire package set. Do
+
+```
+nix run .#run-hoogle
+```