New posts in Liquid Haskell

A simple case where LiquidHaskell works well on the type "Data.String" but not on the type "Data.Text"