LanguageIdentifiers.Coq Field

Containing Type: LanguageIdentifiers

Assembly: DotMarkdown.dll

Identifier for Coq.

public const string Coq = "coq"

Field Value

String