Lists

Content created by Victor Blanchi, Egbert Rijke and Fredrik Bakke.

Created on 2023-04-08.
Last modified on 2023-05-22.

Files in the lists folder

module lists where

open import lists.arrays public
open import lists.concatenation-lists public
open import lists.flattening-lists public
open import lists.functoriality-lists public
open import lists.lists public
open import lists.lists-discrete-types public
open import lists.permutation-lists public
open import lists.permutation-vectors public
open import lists.predicates-on-lists public
open import lists.quicksort-lists public
open import lists.reversing-lists public
open import lists.sort-by-insertion-lists public
open import lists.sort-by-insertion-vectors public
open import lists.sorted-lists public
open import lists.sorted-vectors public
open import lists.sorting-algorithms-lists public
open import lists.sorting-algorithms-vectors public
open import lists.universal-property-lists-wild-monoids public

Recent changes