diff --git a/docs/_data/navigation.yml b/docs/_data/navigation.yml
index 77c45f1..ad2e55f 100644
--- a/docs/_data/navigation.yml
+++ b/docs/_data/navigation.yml
@@ -21,5 +21,7 @@ pages:
     url: /compatibility
   - title: Typechecking
     url: /typecheck
+  - title: Profiling
+    url: /profile
   - title: Library
     url: /library