Rename first chapter to "Unforgettable types"

zetanumbers · Apr 18, 2024 · bd63bd0 · bd63bd0
1 parent 0c4c5eb
commit bd63bd0
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/src/SUMMARY.md b/src/SUMMARY.md
@@ -1,4 +1,4 @@
 # Summary
 
-- [Myosotis](./myosotis.md)
+- [Unforgettable types](./myosotis.md)
 - [Async drop design explainer](./async-drop-design.md)
diff --git a/src/myosotis.md b/src/myosotis.md
@@ -1,4 +1,5 @@
 # The destruction guarantee and linear types formulation
+#### Myosotis
 
 <a title="Forget-me-nots - Sedum Tauno Erik, CC BY-SA 2.5 &lt;https://creativecommons.org/licenses/by-sa/2.5&gt;, via Wikimedia Commons" href="https://commons.wikimedia.org/wiki/File:Myosotis_arvensis_ois.JPG"><img width="512" alt="Myosotis arvensis ois" src="https://upload.wikimedia.org/wikipedia/commons/thumb/e/eb/Myosotis_arvensis_ois.JPG/512px-Myosotis_arvensis_ois.JPG"></a>