The liquidhaskell package

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]

Warnings:

Liquid Types for Haskell.

Properties

Versions0.1, 0.2.0.0, 0.2.0.0, 0.2.1.0, 0.3.0.0, 0.3.1.0, 0.4.0.0, 0.4.0.1, 0.4.1.0, 0.4.1.1, 0.5.0.0, 0.5.0.1, 0.6.0.0, 0.6.0.1, 0.7.0.0, 0.8.0.0, 0.8.0.1, 0.8.0.2, 0.8.0.3, 0.8.0.5, 0.8.2.0
Change logNone available
Dependenciesaeson, ansi-terminal, array, base (==4.*), bifunctors, bytestring, cmdargs, containers, cpphs, data-default, deepseq, Diff, directory, filemanip, filepath, fingertree, ghc (>=7.8.3), ghc-paths, hashable, hpc, hscolour, intern, liquid-fixpoint (>=0.2), liquidhaskell, mtl, parsec, pretty, process, syb, template-haskell, text, time, unix, unordered-containers, vector [details]
LicenseGPL
Copyright2010-13 Ranjit Jhala, University of California, San Diego.
AuthorRanjit Jhala, Niki Vazou, Eric Seidel
MaintainerRanjit Jhala <jhala@cs.ucsd.edu>
CategoryLanguage
Home pagehttp://goto.ucsd.edu/liquidhaskell
Source repositoryhead: git clone https://github.com/ucsd-progsys/liquidhaskell/
Executablesliquid
UploadedWed Sep 3 04:30:29 UTC 2014 by EricSeidel

Modules

Downloads

Maintainers' corner

For package maintainers and hackage trustees