Review of chapter 4 complete about liquidhaskell-tutorial

[ranjitjhala]

Hi Chris,

Thanks! To me this is more a problem with the writing than anything else.
Can we chat at some point to go over what you were getting stuck on,
because those are the parts that need more clear explanations IMO.

Thanks a bunch!

Ranjit.

On Tue, Feb 17, 2015 at 1:50 PM, Chris Tetreault [email protected]
wrote:

I've completed my review of chapter 4, redlines can be found here:

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

I feel that I am being left behind in this. I had some difficulties in
chapter 3, but nothing I couldn't overcome (or that couldn't be explained
by a bug in the system). However, in this chapter, there were issues I was
not able to work through. LH was complaining about things that I feel
should be handled by the type definitions. I feel that I am missing some
understanding about how LH validates things, and it's preventing me from
effectively using it. Some exercises in this chapter, I had to use an ugly
kludge to please the tool. Some I just called a loss.

I will press onward, but I am concerned that my lack of understanding is
going to make things even more difficult moving forward.

Reply to this email directly or view it on GitHub
#4.

Ranjit.