@hackage / liquid-parallel

LiquidHaskell specs for the parallel package

Latest3.2.2.0.3

About

Metadata

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

  • Lottery factor: 0

Links

Installation

This package uses the Custom cabal build type

Readme

LiquidHaskell specs for the parallel package.