![LiquidHaskell](/resources/logo.png)



[![Hackage](https://img.shields.io/hackage/v/liquidhaskell.svg)](https://hackage.haskell.org/package/liquidhaskell) [![Hackage-Deps](https://img.shields.io/hackage-deps/v/liquidhaskell.svg)](http://packdeps.haskellers.com/feed?needle=liquidhaskell) [![Build Status](https://img.shields.io/circleci/project/ucsd-progsys/liquidhaskell/master.svg)](https://circleci.com/gh/ucsd-progsys/liquidhaskell)
[![Windows build status](https://ci.appveyor.com/api/projects/status/78y7uusjcgor5p16/branch/develop?svg=true)](https://ci.appveyor.com/project/varosi/liquidhaskell-nlhra/branch/develop)

## Quick Links

* [Try LiquidHaskell in your browser](http://goto.ucsd.edu:8090/index.html)
* [Splash page with examples and link to blog](https://ucsd-progsys.github.io/liquidhaskell-blog/)
* [120 minute workshop with more examples](http://ucsd-progsys.github.io/lh-workshop/01-index.html)
* [Long ish Tutorial](http://ucsd-progsys.github.io/liquidhaskell-tutorial/)

## Documentation

* [LH Documentation](http://ucsd-progsys.github.io/liquidhaskell/) 
* [Edit here](/docs/mkDocs)

## Questions

If you have any questions

* Join the Liquid Haskell [slack channel](https://join.slack.com/t/liquidhaskell/shared_invite/enQtMjY4MTk3NDkwODE3LTFmZGFkNGEzYWRkNDJmZDQ0ZGU1MzBiZWZiZDhhNmY3YTJiMjUzYTRlNjMyZDk1NDU3ZGIxYzhlOTIzN2UxNWE)
* Mail the [users mailing list](https://groups.google.com/forum/#!forum/liquidhaskell)
* Create a github issue