From a103b287cd19bdc51c7a3d8d7c1431b1506a74e2 Mon Sep 17 00:00:00 2001 From: bojavou Date: Mon, 17 Jul 2023 18:05:42 -0700 Subject: [PATCH] Editorial: Correct desiderable to desirable (#3125) --- spec.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/spec.html b/spec.html index c9f6372052..f281a298b6 100644 --- a/spec.html +++ b/spec.html @@ -26788,7 +26788,7 @@

Example Cyclic Module Record Graphs

Now, consider a module graph with a cycle: