v0.6180332
liuxinyu95
released this
10 Dec 13:00
·
1408 commits
to algoxy
since this release
Main changes in this release (English edition):
- The formal proof of functional AVL tree insertion algorithm is moved to Appendix C;
- Added functional AVL tree deletion algorithm in Chapter 4;
- Added imperative AVL tree deletion algorithm in Appendix C.