Update predicate syntax - Githubissues

ucsd-progsys / liquidhaskell-tutorial

Tutorial for LiquidHaskell

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

MIT License

75 stars 27 forks source link

Update predicate syntax #57

Closed waddlaw closed 6 years ago

waddlaw commented 6 years ago

Ref issue #53

ranjitjhala commented 6 years ago

Thanks @waddlaw!