search

ucsd-progsys / liquidhaskell-tutorial

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

Update liquidhaskell-0.8.2.2 & LTS-10.0 #59

Closed waddlaw closed 6 years ago

ranjitjhala commented 6 years ago

many thanks @waddlaw !!!