|
[____]
A list in Magma is an ordered finite collection of objects.
Unlike sequences, lists are not required to consist of objects
that have some common parent. Lists are not stored compactly and the
operations provided for them are not extensive. They
are mainly provided to enable the user to gather assorted objects
temporarily together.
[Next][Prev] [Right] [____] [Up] [Index] [Root]
|