Lists

Content created by Fredrik Bakke, Louis Wasserman, Egbert Rijke, Victor Blanchi, malarbol and Šimon Brandner.

Created on 2023-04-08.
Last modified on 2026-05-02.

Modules in the lists namespace

module lists where

open import lists.arrays public
open import lists.concatenation-lists public
open import lists.concatenation-tuples public
open import lists.dependent-sequences public
open import lists.equality-lists public
open import lists.equivalence-relations-tuples public
open import lists.equivalence-tuples-finite-sequences public
open import lists.finite-sequences public
open import lists.finite-sequences-of-types public
open import lists.flattening-lists public
open import lists.focus-at-index-finite-sequences public
open import lists.functoriality-finite-sequences public
open import lists.functoriality-lists public
open import lists.functoriality-tuples public
open import lists.functoriality-tuples-finite-sequences public
open import lists.insert-at-index-finite-sequences public
open import lists.lists public
open import lists.lists-discrete-types public
open import lists.pairs-of-successive-elements-finite-sequences public
open import lists.partial-sequences public
open import lists.permutation-lists public
open import lists.permutation-tuples public
open import lists.predicates-on-lists public
open import lists.quicksort-lists public
open import lists.remove-at-index-finite-sequences public
open import lists.repetitions-sequences public
open import lists.reversing-lists public
open import lists.sequences public
open import lists.set-quotients-tuples public
open import lists.shifting-sequences public
open import lists.sort-by-insertion-lists public
open import lists.sort-by-insertion-tuples public
open import lists.sorted-lists public
open import lists.sorted-tuples public
open import lists.sorting-algorithms-lists public
open import lists.sorting-algorithms-tuples public
open import lists.subsequences public
open import lists.tuples public
open import lists.universal-property-lists-wild-monoids public

Recent changes