GitHub repository: nilehmann/liquid-fixpoint
Primary language: Haskell
Description: Horn Clause Constraint Solving for Liquid Types