search

ucsd-progsys / liquidhaskell

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

Assumereflect upstream merge? #2312

Closed jarctan closed 2 months ago