Readers may also be interested in LiquidHaskell: https://ucsd-progsys.github.io/liquidhaskell-blog/ https://ucsd-progsys.github.io/liquidhaskell-blog/ https:/

Readers may also be interested in LiquidHaskell: https://ucsd-progsys.github.io/liquidhaskell-blog/ https://ucsd-progsys.github.io/liquidhaskell-blog/ https://ucsd-progsys.github.io/liquidhaskell-tutorial/01-intro.html 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.