GitHub repository: oquechy/liquidhaskell
Primary language: Haskell
Description: Liquid Types For Haskell