aniva/Pantograph
aniva
/
Pantograph
1
1
Fork 0
Code Issues 13 Pull Requests 2 Packages Projects Releases Wiki Activity

doc: Add documentation for tomograph

This commit is contained in:
Leni Aniva 2025-07-11 19:46:29 -07:00
parent 58b52359e1
commit 798ff6f1bd
Signed by: aniva
GPG Key ID: D5F96287843E8DFB
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
README.md
View File

@ -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