search

ucsd-progsys / liquidhaskell-tutorial

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

Fix a bunch of typos #49

Closed bandali0 closed 7 years ago

bandali0 commented 7 years ago

I've been working my way through the tutorials, and thought I'd open a PR to fix the typos I've noticed.

ranjitjhala commented 7 years ago

Thanks very much, this is greatly appreciated!

On Sun, Apr 23, 2017 at 8:32 AM Amin Bandali notifications@github.com wrote:

I've been working my way through the tutorials, and thought I'd open a PR to fix the typos I've noticed.

You can view, comment on, or merge this pull request online at:

https://github.com/ucsd-progsys/liquidhaskell-tutorial/pull/49 Commit Summary

  • Fix a bunch of typos

File Changes

Patch Links:

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/ucsd-progsys/liquidhaskell-tutorial/pull/49, or mute the thread https://github.com/notifications/unsubscribe-auth/ABkuOFaXVqSkZribVqMiAjkhleIgvmSvks5ryr81gaJpZM4NFSTe .

bandali0 commented 7 years ago

You're most welcome! Glad to help.