[Next][Prev] [Right] [Left] [Up] [Index] [Root]

Construction of Lists

Lists can be constructed by expressions enclosed in special brackets [* and *].

[* *] : -> List
The empty list.
[* e1, e2, ..., en *] : Elt,.., Elt -> List
Given a list of expressions e1, ..., en, defining elements a1, a2, ..., an, create the list containing a1, a2, ..., an.

 [Next][Prev] [Right] [Left] [Up] [Index] [Root]

Version: V2.19 of Mon Dec 17 14:40:36 EST 2012