The liquidhaskell package

[Tags: bsd3, library, program]

Liquid Types for Haskell.

Properties

Versions0.1, 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
Change logNone available
Dependenciesaeson (>=0.10), array (>=0.5), base (==4.*), bifunctors (>=5.1), bytestring (>=0.10), Cabal (>=1.18), cereal, cmdargs (>=0.10), containers (>=0.5), cpphs (>=1.19), daemons, data-default (>=0.5), deepseq (>=1.3), Diff (>=0.3), directory (>=1.2), filepath (>=1.3), fingertree (>=0.1), ghc (>=7.10.2 && <7.11), ghc-paths (>=0.1), hashable (>=1.2), hpc (>=0.6), hscolour (>=1.22), liquid-fixpoint (==0.5.*), liquidhaskell, located-base, mtl (>=2.1), network, parsec (>=3.1), pretty (>=1.1), process (>=1.2), syb (>=0.4.4), template-haskell (>=2.9), temporary (>=1.2), text (>=1.2), time (>=1.4), unix, unordered-containers (>=0.2), vector (>=0.10) [details]
LicenseBSD3
Copyright2010-15 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/
Executableslhi, liquid
UploadedTue Apr 5 22:28:38 UTC 2016 by EricSeidel
Downloads1529 total (21 in last 30 days)
Votes
2 []
StatusDocs available [build log]
Last success reported on 2016-04-05 [all 1 reports]

Modules

[Index]

Flags

NameDescriptionDefaultType
develturn on stricter error reporting for developmentDisabledManual
includeuse in-tree include directoryDisabledAutomatic

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

Maintainers' corner

For package maintainers and hackage trustees