From 798ff6f1bda2b904afaa484350083700f01c5c4a Mon Sep 17 00:00:00 2001
From: Leni Aniva <v@leni.sh>
Date: Fri, 11 Jul 2025 19:46:29 -0700
Subject: [PATCH] doc: Add documentation for tomograph

---
 README.md | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 963ef97..f0f436e 100644
--- a/README.md
+++ b/README.md
@@ -27,7 +27,10 @@ This builds the executable in `.lake/build/bin/pantograph-repl`.
 
 ### Executable Usage
 
-See [Executable Usage](./doc/repl.md)
+The default build target is a Read-Eval-Print-Loop (REPL). See [REPL Documentation](./doc/repl.md)
+
+Another executable is the `tomograph`, which processes a Lean file and displays
+syntax or elaboration level data.
 
 ### Library Usage