HERMIT.Dictionary.Local.Let

Rewrites on Let Expressions

externals

Let Elimination

letNonRecSubstR

letNonRecSubstSafeR

letSubstR

letSubstSafeR

letElimR

letNonRecElimR

letRecElimR

progBindElimR

progBindNonRecElimR

progBindRecElimR

Let Introduction

letIntroR

letNonRecIntroR

progNonRecIntroR

nonRecIntroR

letIntroUnfoldingR

Let Floating Out

letFloatAppR

letFloatArgR

letFloatLetR

letFloatLamR

letFloatCaseR

letFloatCaseAltR

letFloatCastR

letFloatExprR

letFloatTopR

Let Floating In

letFloatInR

letFloatInAppR

letFloatInCaseR

letFloatInLamR

Miscallaneous

reorderNonRecLetsR

letTupleR

letToCaseR