[ example ] Sorted tree examples improvements by buzden · Pull Request #195 · buzden/deptycheck

buzden · 2024-09-09T13:10:36Z

Printing of the generated trees is added. TBD:

To calculate if complexity of left and right subtree is the same statistically. Probably, as we discussed with John Hughes at ICFP'24, we should enumerate shapes (for each size, probably) and to check that these shapes are distributed uniformly.

buzden force-pushed the sorted-tree-printing branch 4 times, most recently from 4bf9af5 to e540565 Compare November 13, 2024 08:50

buzden force-pushed the sorted-tree-printing branch 2 times, most recently from 240c4f0 to e6830e4 Compare November 21, 2024 10:46

buzden force-pushed the sorted-tree-printing branch from e6830e4 to c008088 Compare December 10, 2024 12:06

buzden force-pushed the sorted-tree-printing branch from c008088 to fe00a4d Compare January 27, 2025 15:42

buzden added 3 commits October 22, 2025 12:24

[ example ] Print generated sorted binary trees in tests

87a4425

[ test ] Add bigger tests for sorted trees

cae1347

[ test, distr ] Add a relative weight distribution test

97f4266

buzden force-pushed the sorted-tree-printing branch from fe00a4d to 97f4266 Compare October 22, 2025 09:26

Provide feedback