- Verification of Libraries
- [zlib](https://hackage.haskell.org/package/zlib)
- [probability](https://github.com/nikivazou/probability)
- fix parser error message
- Parse Errors [#241](https://github.com/ucsd-progsys/liquidhaskell/issues/241)
- Liquid Haskell doesn't accept Haskell names containing ' (single-quote) [#273](https://github.com/ucsd-progsys/liquidhaskell/issues/273)
- Error messages [#400](https://github.com/ucsd-progsys/liquidhaskell/issues/400)
- Add list of reserved tokens
- Parse Propositional Variables in Refinements [#338](https://github.com/ucsd-progsys/liquidhaskell/issues/338)
- Combine GHC and Liquid Type Aliases [#381](https://github.com/ucsd-progsys/liquidhaskell/issues/381)
- Applying data type with wrong number of abstract refinement params could give better errors [#297](https://github.com/ucsd-progsys/liquidhaskell/issues/297)
- Export qualifiers from measure types [#302](https://github.com/ucsd-progsys/liquidhaskell/issues/302)
- systematically remove all error calls
NV: Not sure how easy this is, as it requires deep understanding of the code
to distinguish dead code from our errors.