summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
-rw-r--r--standard-ml.html.markdown2
1 files changed, 1 insertions, 1 deletions
diff --git a/standard-ml.html.markdown b/standard-ml.html.markdown
index b5fef910..e17972a0 100644
--- a/standard-ml.html.markdown
+++ b/standard-ml.html.markdown
@@ -104,7 +104,7 @@ val more_groups = ["Batman","Superman"] :: groups
(* Lists of the same kind can be appended using the @ ("append") operator *)
val guest_list = [ "Mom", "Dad" ] @ [ "Aunt", "Uncle" ]
-(* This could have been done with the :: operator (pronounced "cons") *)
+(* This could have been done with the "cons" operator *)
val guest_list = "Mom" :: "Dad" :: [ "Aunt", "Uncle" ]
(* If you have many lists of the same kind, you can concatenate them all *)