hackage.haskell.org : inch
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.
Registry
-
Source
- Homepage
- JSON
- codemeta.json
purl: pkg:hackage/inch
Keywords:
bsd3
, language
, program
, Propose Tags
License: BSD-3-Clause
Latest release: over 11 years ago
First release: about 14 years ago
Downloads: 1,789 total
Stars: 42 on GitHub
Forks: 2 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: about 19 hours ago