The liquidhaskell package

[Tags: bsd3, library, program]

Liquid Types for Haskell.


Properties

Versions0.1, 0.2.0.0, 0.2.1.0
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.1.0), liquidhaskell, mtl, parsec, pretty, process, syb, template-haskell, text, time, unordered-containers, vector
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
UploadedWed Nov 19 05:34:46 UTC 2014 by EricSeidel
Downloads305 total (74 in last 30 days)
StatusDocs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees