Skip to content

Adds the AVL tree's toList/Any properties#3060

Merged
gallais merged 9 commits into
agda:masterfrom
mikedelorimier:avl-to-list-only
Jul 15, 2026
Merged

Adds the AVL tree's toList/Any properties#3060
gallais merged 9 commits into
agda:masterfrom
mikedelorimier:avl-to-list-only

[ cleanup ] remove useless import

2eeaa21
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Haskell-CI - Linux - ghc-9.2.8
succeeded Jul 15, 2026 in 2m 18s