search

ucsd-progsys / liquidhaskell-tutorial

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

Fix #40 #61

Closed waddlaw closed 6 years ago

waddlaw commented 6 years ago

See #40

ranjitjhala commented 6 years ago

Thanks so much @waddlaw !!!