search

ucsd-progsys / liquidhaskell

Liquid Types For Haskell
BSD 3-Clause "New" or "Revised" License
1.18k stars 135 forks source link

Remove redundant flags and dependencies from name-resolution-neg #2304

Closed facundominguez closed 3 months ago

facundominguez commented 3 months ago

Follow up to #2303