search

ucsd-progsys / liquidhaskell-tutorial

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

The surrounding text says that ax0' should fail #43

Closed alanz closed 7 years ago

ranjitjhala commented 7 years ago

oops, thought I'd fixed this on a local branch -- must have not pushed. Thanks @alanz !