The inch package

[Tags: bsd3, program]

Inch is a type-checker for a subset of Haskell (plus some GHC extensions) with the addition of integer constraints. After successfully type-checking a source file, it outputs an operationally equivalent version with the type-level integers erased, so it can be used as a preprocessor in order to compile programs.


Properties

Versions0.1.0, 0.2.0
Change logNone available
Dependenciesbase (==4.*), containers (==0.4.*), filepath (==1.2.*), IndentParser (==0.2.*), mtl (==2.0.*), parsec (==3.1.*), presburger (==0.4.*), pretty (==1.*)
LicenseBSD3
CopyrightCopyright (c) 2011 Adam Gundry
AuthorAdam Gundry <adam.gundry@strath.ac.uk>
MaintainerAdam Gundry <adam.gundry@strath.ac.uk>
CategoryLanguage
Home pagehttps://github.com/adamgundry/inch/
Bug trackerhttps://github.com/adamgundry/inch/issues
Source repositoryhead: git clone git://github.com/adamgundry/inch.git
Executablesinch
UploadedWed Dec 14 15:36:59 UTC 2011 by AdamGundry
DistributionsNixOS:0.2.0
Downloads316 total (19 in last 30 days)
StatusDocs not available [build log]
All reported builds failed as of 2015-06-02 [all 1 reports]

Downloads

Maintainers' corner

For package maintainers and hackage trustees