Comment Comment by patrickmn Readers may also be interested in LiquidHaskell:https://ucsd-progsys.github.io/liquidhaskell-blog/https://ucsd-progsys.github.io/liquidhaskell-tutorial/01-int...The Python hypothesis package strikes me more like a dynamic version of Haskell/LiquidHaskell than Haskell/hedgehog. parent patrickmn 7 years ago
https://ucsd-progsys.github.io/liquidhaskell-blog/
https://ucsd-progsys.github.io/liquidhaskell-tutorial/01-int...
The Python hypothesis package strikes me more like a dynamic version of Haskell/LiquidHaskell than Haskell/hedgehog.