From 3e476efd59f2250729145089a73683b3f87a8482 Mon Sep 17 00:00:00 2001
From: "Alex J. Best" <alex.j.best@gmail.com>
Date: Fri, 5 Jan 2024 14:53:23 +0000
Subject: [PATCH] read

---
 README.md | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/README.md b/README.md
index 8d4da1b..e11c567 100644
--- a/README.md
+++ b/README.md
@@ -700,3 +700,9 @@ Found differences:
 366 differences
 total 9.85s
 ```
+
+Structure
+---------
+
+There are two test directories, both of which are independent Lean projects  that implement a module `Test`, but with slightly different content.
+This can be used to test leaff like so `./runleaff Test.Test test/ test`.