HERMIT.Dictionary.Local

Local Structural Manipulations

externals

Binding Groups

Case Expressions

Cast Expressions

Let Expressions

Miscellaneous

abstractR

pushR

betaReduceR

betaExpandR

etaReduceR

etaExpandR

multiEtaExpandR

flattenModuleR

flattenProgramR

flattenProgramT