search

ucsd-progsys / liquid-fixpoint

Horn Clause Constraint Solving for Liquid Types
BSD 3-Clause "New" or "Revised" License
141 stars 61 forks source link

Explain a bit normalizeLams #627

Closed facundominguez closed 2 years ago

facundominguez commented 2 years ago

I had this lying around intending to submit it together with some other changes. But it is been a long time now.

ranjitjhala commented 2 years ago

thanks Facundo!!!

On Fri, Oct 21, 2022 at 12:40 AM Niki Vazou @.***> wrote:

Merged #627 https://urldefense.com/v3/__https://github.com/ucsd-progsys/liquid-fixpoint/pull/627__;!!Mih3wA!EHJwDaLSyf3pTHGsqlgC__Id15oZoY4cOn6frGYCxwZTxNmieZSxiY-jTxRz946n9Pkk_RShv71vTEX1yCyI-fJ8$ into develop.

— Reply to this email directly, view it on GitHub https://urldefense.com/v3/__https://github.com/ucsd-progsys/liquid-fixpoint/pull/627*event-7638097885__;Iw!!Mih3wA!EHJwDaLSyf3pTHGsqlgC__Id15oZoY4cOn6frGYCxwZTxNmieZSxiY-jTxRz946n9Pkk_RShv71vTEX1yHHWhIYZ$, or unsubscribe https://urldefense.com/v3/__https://github.com/notifications/unsubscribe-auth/AAMS4ODTTC2UPITQ6BICX3TWEJCHPANCNFSM6AAAAAARKOYB4A__;!!Mih3wA!EHJwDaLSyf3pTHGsqlgC__Id15oZoY4cOn6frGYCxwZTxNmieZSxiY-jTxRz946n9Pkk_RShv71vTEX1yHRM4cVf$ . You are receiving this because you are subscribed to this thread.Message ID: @.*** com>