liquidhaskell-tutorial
liquidhaskell-tutorial copied to clipboard
Figures 1.4 and 1.5 in Chapter 12
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?