liquidhaskell-cabal-demo
Version 0.2.1.1 revision 0 uploaded by MichaelSmith.
Package meta
- Synopsis
- Demo of Liquid Haskell integration for Cabal and Stack
- Description
Please see the README on GitHub for more information.
- Author
- Michael Smith
- Bug reports
- https://github.com/spinda/liquidhaskell-cabal-demo/issues
- Category
- Development
- Copyright
- 2016-2019 Michael Smith, 2019 Ranjit Jhala
- Homepage
- https://github.com/spinda/liquidhaskell-cabal-demo#readme
- Maintainer
- Michael Smith <michael@spinda.net>
- Package URL
- n/a
- Stability
- n/a