summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorDavid Pedersen <david.pdrsn@gmail.com>2013-12-05 11:45:43 +0100
committerDavid Pedersen <david.pdrsn@gmail.com>2013-12-05 11:45:43 +0100
commite76f7cd4525e135599719af7379b29ce625ccb6f (patch)
tree412a34a3bf83d0e7f737710ca74e6d57fdc786c7
parent34838b8dada4c35a80f07f722a01253eac614688 (diff)
[standard-ml/en-en] Update to list part
-rw-r--r--standard-ml.html.markdown3
1 files changed, 2 insertions, 1 deletions
diff --git a/standard-ml.html.markdown b/standard-ml.html.markdown
index ab5e4b84..f7526bb8 100644
--- a/standard-ml.html.markdown
+++ b/standard-ml.html.markdown
@@ -95,7 +95,8 @@ val groups = [ [ "Alice", "Bob" ],
val number_count = List.length numbers (* gives 7 *)
-(* You can put single values in front of lists of the same kind *)
+(* You can put single values in front of lists of the same kind
+ using the :: ("cons") operator *)
val more_numbers = 13 :: numbers (* gives [13, 1, 3, 3, 7, ...] *)
val more_groups = ["Batman","Superman"] :: groups