The Nest
Explore
Sign in
tzemanovic
plfa
standard-library
src
Data
0
PLFA agda exercises
Code
Changes
Tags
Discussions
main
tzemanovic
10. Lists
2 days ago
AVL
add standard-library
on February 13, 2026
Bool
add standard-library
on February 13, 2026
Bytestring
add standard-library
on February 13, 2026
Char
add standard-library
on February 13, 2026
Container
add standard-library
on February 13, 2026
Digit
add standard-library
on February 13, 2026
Empty
add standard-library
on February 13, 2026
Fin
add standard-library
on February 13, 2026
Float
add standard-library
on February 13, 2026
Graph
add standard-library
on February 13, 2026
Integer
add standard-library
on February 13, 2026
List
add standard-library
on February 13, 2026
Maybe
add standard-library
on February 13, 2026
Nat
add standard-library
on February 13, 2026
Parity
add standard-library
on February 13, 2026
Product
add standard-library
on February 13, 2026
Rational
add standard-library
on February 13, 2026
Refinement
add standard-library
on February 13, 2026
Sign
add standard-library
on February 13, 2026
Star
add standard-library
on February 13, 2026
String
add standard-library
on February 13, 2026
Sum
add standard-library
on February 13, 2026
These
add standard-library
on February 13, 2026
Tree
add standard-library
on February 13, 2026
Trie
add standard-library
on February 13, 2026
Unit
add standard-library
on February 13, 2026
Universe
add standard-library
on February 13, 2026
Vec
add standard-library
on February 13, 2026
W
add standard-library
on February 13, 2026
Word
add standard-library
on February 13, 2026
Word64
add standard-library
on February 13, 2026
Word8
add standard-library
on February 13, 2026
AVL.agda
add standard-library
on February 13, 2026
Bool.agda
add standard-library
on February 13, 2026
Char.agda
add standard-library
on February 13, 2026
Container.agda
add standard-library
on February 13, 2026
Default.agda
add standard-library
on February 13, 2026
DifferenceList.agda
add standard-library
on February 13, 2026
DifferenceNat.agda
add standard-library
on February 13, 2026
DifferenceVec.agda
add standard-library
on February 13, 2026
Digit.agda
add standard-library
on February 13, 2026
Empty.agda
add standard-library
on February 13, 2026
Erased.agda
add standard-library
on February 13, 2026
Fin.agda
add standard-library
on February 13, 2026
Float.agda
add standard-library
on February 13, 2026
Integer.agda
add standard-library
on February 13, 2026
Irrelevant.agda
add standard-library
on February 13, 2026
List.agda
10. Lists
2 days ago
Maybe.agda
add standard-library
on February 13, 2026
Nat.agda
add standard-library
on February 13, 2026
Parity.agda
add standard-library
on February 13, 2026
Product.agda
add standard-library
on February 13, 2026
Rational.agda
add standard-library
on February 13, 2026
Record.agda
add standard-library
on February 13, 2026
Refinement.agda
add standard-library
on February 13, 2026
Sign.agda
add standard-library
on February 13, 2026
String.agda
add standard-library
on February 13, 2026
Sum.agda
add standard-library
on February 13, 2026
These.agda
add standard-library
on February 13, 2026
Trie.agda
add standard-library
on February 13, 2026
Unit.agda
add standard-library
on February 13, 2026
Universe.agda
add standard-library
on February 13, 2026
Vec.agda
add standard-library
on February 13, 2026
W.agda
add standard-library
on February 13, 2026
Word.agda
add standard-library
on February 13, 2026
Word64.agda
add standard-library
on February 13, 2026
Wrap.agda
add standard-library
on February 13, 2026