diff options
| author | David Pedersen <david.pdrsn@gmail.com> | 2013-12-05 11:45:43 +0100 |
|---|---|---|
| committer | David Pedersen <david.pdrsn@gmail.com> | 2013-12-05 11:45:43 +0100 |
| commit | e76f7cd4525e135599719af7379b29ce625ccb6f (patch) | |
| tree | 412a34a3bf83d0e7f737710ca74e6d57fdc786c7 /standard-ml.html.markdown | |
| parent | 34838b8dada4c35a80f07f722a01253eac614688 (diff) | |
[standard-ml/en-en] Update to list part
Diffstat (limited to 'standard-ml.html.markdown')
| -rw-r--r-- | standard-ml.html.markdown | 3 |
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 |