LiquidHaskell is a formal verification tool that uses refinement types and SMT solving to check properties of Haskell programs.The post LiquidHaskell – refinement type checker for Haskell appeared first on LinuxLinks.