rewire-embedder-2.8: A ReWire-to-Isabelle embedder
Safe HaskellSafe
LanguageHaskell2010

Embedder.FrontEnd

Documentation

embedFile :: MonadIO m => Config -> FilePath -> m () Source #

type LoadPath = [FilePath] Source #