HERMIT.Dictionary.GHC

GHC-based Transformations

externals

Dynamic Loading

loadLemmaLibraryT

type LemmaLibrary

Substitution

substR

Utilities

dynFlagsT

arityOf

Lifted GHC capabilities

lintExprT

lintModuleT

lintQuantifiedT

lintClauseT

occurAnalyseR

occurAnalyseChangedR

occurAnalyseExprChangedR

occurAnalyseAndDezombifyR

dezombifyR

buildDictionary

buildDictionaryT

buildTypeable