@leanprover/infoview
    Preparing search index...

    Function Markdown

    • Parse the contents as Markdown and render the result.

      This component applies some infoview-specific styling and then passes the content through to a Markdown renderer (currently remark).

      Parameters

      • __namedParameters: { contents: string }

      Returns Element