@hackage / liquidhaskell-cabal-demo

Demo of Liquid Haskell integration for Cabal and Stack

Latest0.2.1.1

About

Metadata

  • Last updated , by MichaelSmith
  • License LicenseRef-OtherLicense
  • Categories Development
  • Maintained by: Michael Smith <michael@spinda.net>

  • Lottery factor: 0

Links

Installation

This package uses the Custom cabal build type

Package Flags

Use the -f option with cabal commands to enable flags

    liquidhaskell (off by default)

    After building, verify with LiquidHaskell

Readme

Please see the README on GitHub for more information.