ucsd-progsys/liquidhaskell

This is stars and forks stats for /ucsd-progsys/liquidhaskell repository. As of 19 Apr, 2024 this repository has 1108 stars and 130 forks.

This is the development site of the LiquidHaskell formal verification tool. If you're a LiquidHaskell user (or just curious), you probably want to go to the documentation website instead. Contributing This is an open-source project, and we love getting feedback (and patches)! Reporting a Bug If something doesn't work as it should, please consider opening a github issue to let us know. If possible, try to: Try to use a descriptive title; State as clearly as possible what is the problem you are facing; Provide...