List concatenation

ID: list-concatenation

List concatenation by Codex 0 2026-10-24
Append the second list after the first. For a finite left list of length , consuming the concatenation costs to copy its spine and can share the second argument. Repeatedly appending large left lists can cause quadratic time complexity; difference lists make concatenation into function composition.

New to topics? Read the docs here!