Update eval.js

will62794#14 (comment)
lemmy · May 6, 2024 · 36e4949 · 36e4949
1 parent aeaf642
commit 36e4949
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/js/eval.js b/js/eval.js
@@ -24,7 +24,9 @@ const TLA_STANDARD_MODULES = [
 // https://github.com/tlaplus/CommunityModules/blob/master/modules
 const TLA_COMMUNITY_MODULES = [
     "SequencesExt",
-    "FiniteSetsExt"
+    "FiniteSetsExt",
+    "Functions",
+    "Folds"
 ]
 
 const TLA_COMMUNITY_MODULES_BASE_URL = "https://raw.githubusercontent.com/tlaplus/CommunityModules/master/modules";