def DocGen4.Output.equationToHtml (c : RenderedCode) : HtmlM Html

Equations

• DocGen4.Output.equationToHtml c = do let __do_lift ← DocGen4.Output.renderedCodeToHtml c pure (DocGen4.Html.element "li" true (#[].push ("class", "equation")) (#[] ++ __do_lift))

def DocGen4.Output.equationsToHtml (i : Process.DefinitionInfo) : HtmlM (Array Html)

Attempt to render all simp equations for this definition. At a size defined in equationLimit we stop trying since they:

• are too ugly to read most of the time
• take too long

Equations

• One or more equations did not get rendered due to their size.