search

ucsd-progsys / liquidhaskell-tutorial

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

Review of chapter 5 complete #5

Open christetreault opened 9 years ago

christetreault commented 9 years ago

My review of chapter 5 is complete. The redlined pdf can be found here:

https://drive.google.com/file/d/0Bx6BpheCXcBWUVZEMzdVWm9xWDg/view?usp=sharing

Overall, this chapter went a lot smoother than chapter 4. I think the pacing of exercises was good in this one. They slowly ramped up to the "big one", then there was a "real world example" that showed off some subtle problems.

christetreault commented 9 years ago

I just noticed, while starting chapter 6, that there are no asides in chapter 5. I think this should be looked at, and stuff added if it makes sense.

ranjitjhala commented 9 years ago

Hmm that's odd let me look into it...

On Feb 25, 2015, at 3:23 PM, Chris Tetreault notifications@github.com wrote:

I just noticed, while starting chapter 6, that there are no asides in chapter 5. I think this should be looked at, and stuff added if it makes sense.

— Reply to this email directly or view it on GitHub.