The inch package
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
| Version | 0.1.0 |
|---|---|
| Dependencies | base (4.*), containers (0.4.*), filepath (1.2.*), IndentParser (0.2.*), mtl (2.0.*), parsec (3.1.*), presburger (0.4.*), pretty (1.*) |
| License | BSD3 |
| Copyright | Copyright (c) 2011 Adam Gundry |
| Author | Adam Gundry <adam.gundry@strath.ac.uk> |
| Maintainer | Adam Gundry <adam.gundry@strath.ac.uk> |
| Category | Language |
| Home page | https://github.com/adamgundry/inch/ |
| Bug tracker | https://github.com/adamgundry/inch/issues |
| Source repository | git clone git://github.com/adamgundry/inch.git |
| Executables | inch |
| Upload date | Wed Dec 14 15:36:59 UTC 2011 |
| Uploaded by | AdamGundry |
Downloads
- inch-0.1.0.tar.gz (Cabal source package)
- package description (included in the package)