mirror of
https://github.com/adambard/learnxinyminutes-docs.git
synced 2024-12-23 09:41:36 +00:00
[standard-ml/en-en] Update list doc again
This commit is contained in:
parent
b8857e9266
commit
972a4bf802
@ -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 *)
|
||||
|
Loading…
Reference in New Issue
Block a user