Fix minor mistakes in Chapter 2

ucsd-progsys / liquidhaskell-tutorial

Tutorial for LiquidHaskell

https://ucsd-progsys.github.io/liquidhaskell-tutorial/

MIT License

74 stars 27 forks source link

Fix minor mistakes in Chapter 2 #87

Closed adinapoli closed 4 years ago

adinapoli commented 4 years ago

After reading Chapter 1 & 2 of "Programming with Refinement Types" I have found two small errors (one minor grammar mistake and (I think) an oversight in the declaration of measure), so I am opening this PR for due diligence 😉

ranjitjhala commented 4 years ago

Thanks very much!!!