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

rewire-embedder-2.8

• Embedder
  Submodules

  • Atmo
    Submodules

    •  Embedder.Atmo.DependencyGraph
    •  Embedder.Atmo.FlattenMonadTrans
    •  Embedder.Atmo.Syntax
    •  Embedder.Atmo.ToIsabelle
    •  Embedder.Atmo.Types
    •  Embedder.Atmo.Util
  •  Embedder.Builtins
  •  Embedder.Config
  •  Embedder.FrontEnd
  • HSE
    Submodules

    •  Embedder.HSE.Desugar
    •  Embedder.HSE.ToAtmo
  • Isabelle
    Submodules

    •  Embedder.Isabelle.Syntax
  •  Embedder.ModCache
• ReWire
  Submodules

  • HSE
    Submodules

    •  ReWire.HSE.Annotate
    •  ReWire.HSE.Cache
    •  ReWire.HSE.Desugar
    •  ReWire.HSE.Exports
    •  ReWire.HSE.Fixity
    •  ReWire.HSE.Globs
    •  ReWire.HSE.Orphans
    •  ReWire.HSE.Parse
    •  ReWire.HSE.PassInfo
    •  ReWire.HSE.Rename
    •  ReWire.HSE.SrcLoc