The liquidhaskell package

[Tags: gpl, library, program, types, verification]

Liquid Types for Haskell.


Properties

Version0.1
Dependenciesaeson, ansi-terminal, base (==4.*), bifunctors, bytestring, cmdargs, containers, cpphs, deepseq, Diff, directory, filemanip, filepath, ghc (==7.6.3), ghc-paths, hashable (<1.2), hscolour, liquid-fixpoint, mtl, parsec, pretty, process, syb, text, unordered-containers, vector
LicenseGPL
Copyright2010-13 Ranjit Jhala, University of California, San Diego.
AuthorRanjit Jhala
MaintainerRanjit Jhala <jhala@cs.ucsd.edu>
CategoryLanguage
Home pagehttp://goto.ucsd.edu/liquidhaskell
Executablesliquid
Upload dateMon Sep 23 07:57:51 UTC 2013
Uploaded byEricSeidel
Downloads129 total (10 in last 30 days)

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees