liquidhaskell-cabal-demo: Demo of Liquid Haskell integration for Cabal and stack

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.

[maintain] [Publish]

Warnings:

Please see the README on GitHub for more information.

Properties

Versions 0.1.0.0, 0.1.1.0, 0.2.0.0, 0.2.0.1, 0.2.1.0, 0.2.1.1
Change log None available
Dependencies base (>=4.8 && <5), liquidhaskell-cabal (>=0.1 && <0.2) [details]
License BSD-3-Clause
Copyright 2016 Michael Smith
Author Michael Smith
Maintainer Michael Smith <michael@spinda.net>
Category Development
Home page https://github.com/spinda/liquidhaskell-cabal-demo#readme
Bug tracker https://github.com/spinda/liquidhaskell-cabal-demo/issues
Source repo head: git clone https://github.com/spinda/liquidhaskell-cabal-demo
Uploaded by MichaelSmith at 2016-04-06T18:37:01Z

Modules

Flags

Automatic Flags
NameDescriptionDefault
liquidhaskell

After building, verify with LiquidHaskell

Disabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees