From 4887f1572ba58bfa947f9fe200a4ba36e3758caf Mon Sep 17 00:00:00 2001
From: Roland Conybeare <rconybeare@gmail.com>
Date: Sat, 15 Nov 2025 14:04:56 -0500
Subject: [PATCH] tidy: minor doc improvements + String::share() with explicit
 mm

---
 README | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README b/README
index cee8b46c..2c4a55b7 100644
--- a/README
+++ b/README
@@ -7,7 +7,7 @@
 def foo = lambda (n : i64) { let (n == 0) then 1 else n * foo(n - 1); };
 
 strategy:
-----------
+--------
 
 while parsing def, instead of creating DefineExpr with nullptr TypeDescr:
 a. create DefineExpr with TypeVariable.