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

Bump stack #656

Closed ranjitjhala closed 11 months ago

ranjitjhala commented 11 months ago

Any objections to bumping the stack lts to the versions used by LH. Makes it easier to build on a mac/m1/2...

facundominguez commented 11 months ago

Looks good to me.