Skip to content

RocqHighlighter

[<Class>]
type RocqHighlighter =
    new () : RocqHighlighter
Assembly Nacara.Plugin.Rocq
Implements IHighlighter

A highlighter for fences naming rocq or coq.

Constructors

new () : RocqHighlighter