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
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
Downloads283 total (16 in last 30 days)
StatusDocs pending
Build status unknown [no reports yet]

Downloads

Maintainers' corner

For package maintainers and hackage trustees