search

ucsd-progsys / liquidhaskell-tutorial

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

Fix foldl definition #62

Closed waddlaw closed 6 years ago

waddlaw commented 6 years ago

Sorry, my mistake.

58 is wrong definition the foldl.

ranjitjhala commented 6 years ago

Oops, easy to get those type variables mixed up, thanks for catching it @waddlaw !!!

waddlaw commented 6 years ago

@ranjitjhala Could you please merge this? :)

ranjitjhala commented 6 years ago

Oops, so sorry I totally forgot to do so! Thanks for the reminder!!!

waddlaw commented 6 years ago

Thanks!!