ucsd-progsys / liquidhaskell

Liquid Types For Haskell
1,238Updated 3 weeks ago

Alternatives and similar repositories for liquidhaskell:

Users that are interested in liquidhaskell are comparing it to the libraries listed below