@hackage / liquidhaskell-boot

Liquid Types for Haskell

Latest0.9.14.1.1

About

Metadata

  • Last updated , by FacundoDominguez
  • License BSD-3-Clause

  • Maintained by: Ranjit Jhala <jhala@cs.ucsd.edu>

  • Lottery factor: 1

Links

Installation

Package Flags

Use the -f option with cabal commands to enable flags

    devel (off by default)

    Enable more warnings and fail compilation when warnings occur. Turn this flag on in CI.

Readme

This package provides a plugin to verify Haskell programs. But most likely you should be using the liquidhaskell package instead, which rexports this plugin together with necessary specifications for definitions in the boot libraries.