The HERMIT in the machine: a plugin for the interactive transformation of GHC core language programs


The importance of reasoning about and refactoring programs is a central tenet of functional programming. Yet our compilers and development toolchains only provide rudimentary support for these tasks. This paper introduces a programmatic and compiler-centric interface that facilitates refactoring and equational reasoning. To develop our ideas, we have… (More)
DOI: 10.1145/2364506.2364508


3 Figures and Tables