read

alexjbest · Jan 5, 2024 · 3e476ef · 3e476ef
1 parent 16ec657
commit 3e476ef
Showing 1 changed file with 6 additions and 0 deletions.
diff --git 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`.