Fix deANF to avoid inlining non-anf bindings - Githubissues

ucsd-progsys / liquid-fixpoint

Horn Clause Constraint Solving for Liquid Types

BSD 3-Clause "New" or "Revised" License

141 stars 61 forks source link

Fix deANF to avoid inlining non-anf bindings #711

Closed facundominguez closed 1 month ago