Learning Haskell Week08 - Correctness Proofs

[@hs9577]

face reveal at 200 sub??

[@ayman4490]

don't forget about the giveaway

[@yangxiao6494]

25:57. Is it going to be n>0?

[@ahmedabbas9103]

yea thats what I thought as well

[@aniruddharora4004]

at 30:04 , shouldn't it be = reverse [ ] ++ [x]

[@CurtisDAlves]

Good catch, luckily the rest of the proof stays the same with that little correction