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.
Ecosystem
hackage.haskell.org
hackage.haskell.org
Latest Release
about 10 years ago
1.0.1
about 10 years ago
Versions
18
18
Downloads
17,521 total
17,521 total
Dependent Repos
6
6
Links
| Registry | hackage.haskell.org |
| JSON API | View JSON |
| CodeMeta | codemeta.json |
Package Details
| PURL |
pkg:hackage/hermit
spec |
| License | BSD-3-Clause |
| First Release | over 14 years ago |
| Last Synced | 9 days ago |
Rankings on hackage.haskell.org
Downloads
Top 8.6%