The latest version of inch is 0.2.0-0.
inch
Version 0.1.0 revision 0 uploaded by AdamGundry.
Package meta
- Synopsis
- A type-checker for Haskell with integer constraints
- Description
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.
- Author
- Adam Gundry <adam.gundry@strath.ac.uk>
- Bug reports
- https://github.com/adamgundry/inch/issues
- Category
- Language
- Copyright
- Copyright (c) 2011 Adam Gundry
- Homepage
- https://github.com/adamgundry/inch/
- Maintainer
- Adam Gundry <adam.gundry@strath.ac.uk>
- Package URL
- n/a
- Stability
- n/a