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.


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.*)
CopyrightCopyright (c) 2011 Adam Gundry
AuthorAdam Gundry <>
MaintainerAdam Gundry <>
Home page
Bug tracker
Source repositoryhead: git clone git://
UploadedWed Dec 14 15:36:59 UTC 2011 by AdamGundry
Downloads316 total (19 in last 30 days)
StatusDocs not available [build log]
All reported builds failed as of 2015-06-02 [all 1 reports]


Maintainers' corner

For package maintainers and hackage trustees