-rw-r--r-- | 21 | .gitignore | blob | blame | raw |
-rw-r--r-- | 1161 | Makefile | blob | blame | raw |
-rw-r--r-- | 1753960 | okassaki_red_black_balance_code.jpeg | blob | blame | raw |
-rw-r--r-- | 1608966 | okassaki_red_black_balance_drawing.jpeg | blob | blame | raw |
-rw-r--r-- | 5397 | straight_line_program_interpreter.ml | blob | blame | raw |
-rw-r--r-- | 0 | straight_line_program_interpreter.mli | blob | blame | raw |
-rw-r--r-- | 277 | tree.ml | blob | blame | raw |
-rw-r--r-- | 4141 | tree_balanced_red_black.ml | blob | blame | raw |
-rw-r--r-- | 15 | tree_balanced_red_black.mli | blob | blame | raw |
-rw-r--r-- | 750 | tree_demo.ml | blob | blame | raw |
-rw-r--r-- | 0 | tree_demo.mli | blob | blame | raw |
-rw-r--r-- | 208700 | tree_demo_balanced.png | blob | blame | raw |
-rw-r--r-- | 126401 | tree_demo_unbalanced.png | blob | blame | raw |
-rw-r--r-- | 1309 | tree_unbalanced_vanilla.ml | blob | blame | raw |
-rw-r--r-- | 15 | tree_unbalanced_vanilla.mli | blob | blame | raw |