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

Recursively coerce sets in FApp when not a set #702

Closed nilehmann closed 2 weeks ago

nilehmann commented 2 weeks ago

Fixes #701