Grace/Cumulus/List.g17

Open in Workbench Download source

Imports

Algebra.IndexedLists · Append · Reverse · Sequence · Basic · Replicate · TakeDrop · Filter · Count · Permutation · Sum · Index · Prefix · Sorted · Range · NoDup · ConsImage

Declarations

Source

1-- Lists as finite sequences: indexing, concatenation, reversal, and the2-- bridge to functions on a natural number3-- Part of Cumulus, the Grace17 mathematics library.4-- Copyright (c) 2026 Grant Passmore.5-- Released under the Apache License 2.0. See LICENSE in the repository root.6-- Authors: Grant Passmore78module Grace.Cumulus.List9import Algebra.IndexedLists10import Append11import Reverse12import Sequence13import Basic14import Replicate15import TakeDrop16import Filter17import Count18import Permutation19import Sum20import Index21import Prefix22import Sorted23import Range24import NoDup25import ConsImage26