@hackage / liquid-platform

A battery-included platform for LiquidHaskell

Latest0.9.2.8

About

Metadata

  • Last updated , by FacundoDominguez
  • License BSD-3-Clause
  • Maintained by: Ranjit Jhala <jhala@cs.ucsd.edu>

  • Lottery factor: 0

Links

Installation

Package Flags

Use the -f option with cabal commands to enable flags

    devel (off by default)

    turn on stricter error reporting for development

Readme

A battery-included platform for LiquidHaskell.