Merge pull request #606 from YawarRaza7349/patch-1

MatthewFluet · web-flow · commit ce19014adacc · 2025-03-03T05:39:00.000-05:00
doc typo
diff --git a/doc/guide/src/SimplifyTypes.adoc b/doc/guide/src/SimplifyTypes.adoc
@@ -64,6 +64,6 @@ we (arbitrarily) expand one of the datatypes first.  The result will
 be something like
 [source,sml]
 ----
-datatype u = U of u array array
+datatype u = U of u array vector
 ----
 where all uses of `t` are replaced by `u array`.
