liquidhaskell-tutorial icon indicating copy to clipboard operation
liquidhaskell-tutorial copied to clipboard

Figures 1.4 and 1.5 in Chapter 12

Open jllang opened this issue 3 years ago • 0 comments

Maybe I've understood the definitions wrong but it seems to me that Figures 1.4 and 1.5 in Chapter 12 are incorrect. Shouldn't the node labelled v be on level n + 1 as it has two children with height n? If this is the case, then in Figure 1.4 shouldn't lv then move to level n + 2 as it then has two children with height n + 1?

Also, I noticed that there are some red underlines in Figure 1.5. The leftmost subtree ll should probably be lr, shouldn't it?

jllang avatar Jul 19 '21 09:07 jllang