# Lists

- [Introduction](introduction.md)

- [Construction of Lists](constructor.md)

  - [`[* *] → List`](constructor.md#literal-literal-list)

  - [`[* e₁, e₂, ..., eₙ *]: Elt, .., Elt → List`](constructor.md#literal-literal-e1-e2-en-elt-elt-list)

- [Creation of New Lists](creation.md)

  - [`S cat T: List, List → List`](creation.md#operation-operation-cat-list-list-list)

  - [`S cat:= T: List, List`](creation.md#operation-operation-cat-list-list)

  - [`Append(S, x): List, Elt → List`](creation.md#function-append-list-elt)

  - [`Append(~S, x): List, Elt`](creation.md#function-append-list-elt-ref)

  - [`Insert(~S, i, x): List, RngIntElt, Any`](creation.md#function-insert-list-rngintelt-any-ref)

  - [`Insert(S, i, x): List, RngIntElt, Any → List`](creation.md#function-insert-list-rngintelt-any)

  - [`Prune(S): List → List`](creation.md#function-prune-list)

  - [`Prune(~S): List`](creation.md#function-prune-list-ref)

  - [`SequenceToList(Q): SeqEnum → List`](creation.md#function-sequencetolist-seqenum)

  - [`Seqlist(Q): SeqEnum → List`](creation.md#function-seqlist-seqenum)

  - [`TupleToList(T): Tup → List`](creation.md#function-tupletolist-tup)

  - [`Tuplist(T): Tup → List`](creation.md#function-tuplist-tup)

  - [`Reverse(L): List → List`](creation.md#function-reverse-list)

- [Access Functions](access.md)

  - [`# S: List → RngIntElt`](access.md#operation-operation-list-rngintelt)

  - [`IsEmpty(S): List → BoolElt`](access.md#function-isempty-list)

  - [`S[i]: List, RngIntElt → Elt`](access.md#literal-literal-s-i-list-rngintelt-elt)

  - [`S[I]: List, [RngIntElt] → List`](access.md#literal-literal-s-i-list-rngintelt-list)

  - [`IsDefined(L, i): List, RngIntElt → Elt`](access.md#function-isdefined-list-rngintelt)

- [Assignment Operator](assignment.md)

  - [`S[i] := x: List, RngIntElt, Elt`](assignment.md#literal-literal-s-i-x-list-rngintelt-elt)

- [Iteration](Iteration.md)

  - [`x in L`](Iteration.md#literal-literal-in-x-in-l)

  - [`i -> x in L`](Iteration.md#literal-literal-in-i-x-in-l)