ucsd-progsys / liquidhaskell-tutorial

Tutorial for LiquidHaskell
https://ucsd-progsys.github.io/liquidhaskell-tutorial/
MIT License
74 stars 27 forks source link

Figures 1.4 and 1.5 in Chapter 12 #113

Open jllang opened 3 years ago

jllang commented 3 years ago

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?