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
Change logNone available
Dependenciesaeson, ansi-terminal, array, base (==4.*), bifunctors, bytestring, Cabal (>=1.18), cmdargs, containers, cpphs, data-default, deepseq, Diff, directory, filemanip, filepath, fingertree, ghc (==7.8.3 || ==7.8.4 || ==7.10.2), ghc-paths, hashable, hpc, hscolour, intern, liquid-fixpoint (>=0.4), liquidhaskell, mtl, parsec, pretty, process (>=1.2), syb, template-haskell, text, time, unordered-containers, vector [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/
Executablesliquid
UploadedThu Aug 13 16:41:49 UTC 2015 by EricSeidel
Downloads1083 total (138 in last 30 days)
Votes
1 []
StatusDocs available [build log]
Last success reported on 2015-08-13 [all 1 reports]

Modules

[Index]

Flags

NameDescriptionDefaultType
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