@hackage / inch

A type-checker for Haskell with integer constraints

Latest0.2.0

Dependencies

executable:inch (8 dependencies)

@hackage / pretty Pretty-printing library
- Version: >=1.0 && <2
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4 && <5
- License: BSD-3-Clause
@hackage / parsec Monadic parser combinators
- Version: >3.1 && <3.5
- License: BSD-2-Clause
@hackage / filepath Library for manipulating FilePaths in a cross platform way.
- Version: >1.2 && <1.4
- License: BSD-3-Clause
@hackage / presburger A decision procedure for quantifier-free linear arithmetic.
- Version: >=0.4 && <0.5
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version: >2.0 && <2.3
- License: BSD-3-Clause
@hackage / IndentParser Combinators for parsing indentation based syntatic structures
- Version: >0.2 && <0.3
- License: LicenseRef-GPL
@hackage / containers Assorted concrete container types
- Version: >0.4 && <0.6
- License: BSD-3-Clause

test:test-inch (9 dependencies)