issues
search
ucsd-progsys
/
liquid-fixpoint
Horn Clause Constraint Solving for Liquid Types
BSD 3-Clause "New" or "Revised" License
132
stars
60
forks
source link
Move to haskell-actions
#677
Closed
philderbeast
closed
7 months ago
philderbeast
commented
7 months ago
Fixes #676.
Fixes #676.