By Alvin Alexander. Last updated: May 23, 2015
As the About page says, “LiquidHaskell is a static verifier for Haskell, based on Liquid Types.” (Whatever that means. I’m just learning about it.)
As the About page says, “LiquidHaskell is a static verifier for Haskell, based on Liquid Types.” (Whatever that means. I’m just learning about it.)