tzemanovic/plfa: standard-library/src/Data/List/Relation/Binary

PLFA agda exercises

tzemanovic

10. Lists

2 days ago

Disjoint

add standard-library

on February 13, 2026
Equality

add standard-library

on February 13, 2026
Infix

add standard-library

on February 13, 2026
Lex

add standard-library

on February 13, 2026
Permutation

add standard-library

on February 13, 2026
Pointwise

add standard-library

on February 13, 2026
Prefix

add standard-library

on February 13, 2026
Sublist

add standard-library

on February 13, 2026
Subset

add standard-library

on February 13, 2026
Suffix

add standard-library

on February 13, 2026
BagAndSetEquality.agda

add standard-library

on February 13, 2026
Lex.agda

add standard-library

on February 13, 2026
Pointwise.agda

add standard-library

on February 13, 2026