hackage.haskell.org : hermit
HERMIT is a Haskell-specific toolkit designed to mechanize equational reasoning and program transformation during compilation in GHC. Examples can be found in the examples sub-directory. Example of running a script. Example of interactive use. To resume compilation, use resume.
Registry
- JSON
- codemeta.json
purl: pkg:hackage/hermit
Keywords:
bsd3
, formal-methods
, language
, library
, optimization
, program
, refactoring
, reflection
, transformation
, Propose Tags
License: BSD-3-Clause
Latest release: almost 10 years ago
First release: over 14 years ago
Dependent repositories: 6
Downloads: 17,489 total
Last synced: 13 days ago