liquidhaskell-cabal
Version 0.2.1.0 revision 1 uploaded by HerbertValerioRiedel.
Package meta
- Synopsis
- Liquid Haskell integration for Cabal and Stack
- Description
Provides support for checking projects using Cabal and/or stack with LiquidHaskell. Please see the README on GitHub for setup and usage instructions.
- Author
- Michael Smith
- Bug reports
- https://github.com/spinda/liquidhaskell-cabal/issues
- Category
- Development
- Copyright
- 2016-2019 Michael Smith, 2017 Matt Chan, 2019 Ranjit Jhala
- Homepage
- https://github.com/spinda/liquidhaskell-cabal#readme
- Maintainer
- Michael Smith <michael@spinda.net>
- Package URL
- n/a
- Stability
- n/a