-- Lists as finite sequences: indexing, concatenation, reversal, and the
-- bridge to functions on a natural number
-- Part of Cumulus, the Grace17 mathematics library.
-- Copyright (c) 2026 Grant Passmore.
-- Released under the Apache License 2.0. See LICENSE in the repository root.
-- Authors: Grant Passmore

module Grace.Cumulus.List
import Algebra.IndexedLists
import Append
import Reverse
import Sequence
import Basic
import Replicate
import TakeDrop
import Filter
import Count
import Permutation
import Sum
import Index
import Prefix
import Sorted
import Range
import NoDup
import ConsImage