@hackage inch0.1.0

A type-checker for Haskell with integer constraints

Categories
License
BSD-3-Clause
Maintainer
Adam Gundry <adam.gundry@strath.ac.uk>
Links
Versions
- 0.2.0 Sat, 7 Jun 2014
- 0.1.0 Wed, 14 Dec 2011

Installation
In your cabal file:
Dependencies (0)
- base >=4 && <5
- containers >=0.4 && <0.5
- filepath >=1.2 && <1.3
- mtl >=2.0 && <2.1
- parsec >=3.1 && <3.2
- IndentParser >=0.2 && <0.3
Dependents (1)
@hackage/acme-everything

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.

@hackage inch0.1.0

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (0)

Dependents (1)