Horn Clause Constraint Solving for Liquid Types

152 stars 62 forks 152 watchers Haskell BSD 3-Clause "New" or "Revised" License
1 Open Issue Need Help Last updated: Sep 8, 2025

Open Issues Need Help

View All on GitHub

Horn Clause Constraint Solving for Liquid Types

Haskell