Add a doc/ref/ directory, for unpolished notes

mtzguido · Sep 16, 2024 · 2398460 · 2398460
1 parent 887fdc0
commit 2398460
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/doc/ref/README.md b/doc/ref/README.md
@@ -0,0 +1,4 @@
+This subdirectory is meant to include (unpolished) reference notes for
+compiler hacking and other bleeding edge features. While most of these
+should eventually go into the book, this directory serves as both a draft/staging
+area and a place to store internal comments.
diff --git a/doc/ref/pragmas.md b/doc/ref/pragmas.md