@hackage liquidhaskell-cabal-demo0.2.1.0

Demo of Liquid Haskell integration for Cabal and stack

Categories
- Development
License
BSD-3-Clause
Maintainer
Michael Smith <michael@spinda.net>
Links
Versions
- 0.2.1.1 Thu, 30 May 2019
- 0.2.1.0 Thu, 30 May 2019
- 0.2.0.1 Fri, 12 Apr 2019
- 0.2.0.0 Tue, 9 Apr 2019
- 0.1.1.0 Sat, 7 May 2016

Please see the README on GitHub for more information.

Installation
Custom
In your cabal file:
Dependencies (2)
- base >=4.8 && <5
- liquidhaskell-cabal >=0.2.1
Dependents (1)
@hackage/acme-everything

Package Flags

liquidhaskell

(off by default)

After building, verify with LiquidHaskell