search

ucsd-progsys / liquidhaskell-tutorial

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

No Prop #45

Closed ranjitjhala closed 7 years ago

ranjitjhala commented 7 years ago

Update the tutorial to remove all references to Prop which are now plain Bool.

This is compatible with the latest LH-develop (0.6.0.0)

TODO: update the web-server to 0.6.0.0