rewire-embedder-2.8: A ReWire-to-Isabelle embedder

Index - L

LamEmbedder.Atmo.Syntax
lambdasToCasesReWire.HSE.Desugar
LAndEmbedder.Builtins
LanguageEmbedder.Config
Let 
1 (Data Constructor)Embedder.Isabelle.Syntax
2 (Data Constructor)Embedder.Atmo.Syntax
letSubstEmbedder.Isabelle.Syntax
LiftEmbedder.Builtins
liftDiscriminatorReWire.HSE.Desugar
LiftREmbedder.Builtins
LiftSEmbedder.Builtins
ListEmbedder.Isabelle.Syntax
listTyEmbedder.Atmo.Types
LitIntEmbedder.Atmo.Syntax
LitListEmbedder.Atmo.Syntax
LitNumEmbedder.Isabelle.Syntax
LitStrEmbedder.Atmo.Syntax
LitStringEmbedder.Isabelle.Syntax
LitVec 
1 (Data Constructor)Embedder.Isabelle.Syntax
2 (Data Constructor)Embedder.Atmo.Syntax
LitWordEmbedder.Isabelle.Syntax
LNotEmbedder.Builtins
LoadPathReWire.HSE.Cache, Embedder.ModCache, Embedder.FrontEnd
loadPathEmbedder.Config
locatorsEmbedder.Config
lookupCtorsReWire.HSE.Rename
lookupCtorSigReWire.HSE.Rename
lookupCtorSigsForTypeReWire.HSE.Rename
LOrEmbedder.Builtins
LShiftEmbedder.Builtins
LtEmbedder.Builtins
LtEqEmbedder.Builtins