search

ucsd-progsys / liquidhaskell

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

Add test files of liquidhaskell-boot as extra-source-files #2268

Closed facundominguez closed 8 months ago