Name		Name	Last commit message	Last commit date
Latest commit History 7 Commits
doctests		doctests
src/Data/Tree/AVL		src/Data/Tree/AVL
test		test
.gitignore		.gitignore
ChangeLog.md		ChangeLog.md
LICENSE		LICENSE
README.md		README.md
Setup.hs		Setup.hs
package.yaml		package.yaml
stack.yaml		stack.yaml
verified-avl.cabal		verified-avl.cabal