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.