hermit (hackage): 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.
Keywords: bsd3|formal-methods|language|library|optimization|program|refactoring|reflection|transformation