Loreon
Labs
Platform
Docs
Home
Ecosystems
Haskell
liquid-fixpoint
Horn Clause Constraint Solving for Liquid Types
Haskell
Emerging
GitHub
Stars
—
Forks
—
Contributors
8
Last push
2mo ago
Recent commits
Latest commits.
Merge pull request #838 from AlecsFerra/backup
04e2aae
Facundo Domínguez
2mo ago
Apply suggestions from code review
f34f08b
Alessio
2mo ago
Eagerly expand the body of eta expanded terms
01916d9
Alessio Ferrarini
2mo ago
Merge pull request #837 from ucsd-progsys/fd/polykvars2
c7a70b1
Facundo Domínguez
2mo ago
Update description of kvars in the README
9896726
Facundo Domínguez
2mo ago
Test parsing of kvars with type predicates
9a4261a
Facundo Domínguez
2mo ago
Please hlint
cdc37f5
Facundo Domínguez
2mo ago
Swap PKVar type-var and param-sub argument order
1fe1ffe
Facundo Domínguez
2mo ago
Top contributors
Builders behind this project.
ranjitjhala
2.2K commits
facundominguez
608 commits
nikivazou
606 commits
gridaphobe
203 commits
philderbeast
134 commits
clayrat
113 commits
atondwal
110 commits
zgrannan
83 commits
