diff options
author | David Pedersen <david.pdrsn@gmail.com> | 2013-12-05 11:50:45 +0100 |
---|---|---|
committer | David Pedersen <david.pdrsn@gmail.com> | 2013-12-05 11:50:45 +0100 |
commit | 972a4bf80270a64466beb6fb882093cf7100dcc5 (patch) | |
tree | 79b72a427b8d926c806c2d8475ffcbe622c73e2d /standard-ml.html.markdown | |
parent | b8857e92663aab608b0afe6e2e79949908ac205b (diff) |
[standard-ml/en-en] Update list doc again
Diffstat (limited to 'standard-ml.html.markdown')
-rw-r--r-- | standard-ml.html.markdown | 2 |
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 *) |