Lean4 sözdizimi kaydı

Kısa cevap: Lean4, Pygments tarafından tanınan bir sözdizimi/lexer kaydıdır.

Temel bilgiler

Takma adlean4

Dosya deseni*.lean

MIMEtext/x-lean4

Lean4 nedir?

Lean4, Pygments sözdizimi vurgulama sisteminde tanımlı bir lexer kaydıdır. Bir programlama dili, işaretleme biçimi veya özel dosya formatını temsil edebilir.

Takma adlar

lean4

Dosya desenleri

*.lean

MIME türleri

text/x-lean4

İlgili konular

Kaynaklar ve doğrulama:

Pygments Lexers Documentation

Kaynakta bulunmayan bilgiler tahmin edilmez. Hızla değişen veriler yayın/güncelleme tarihiyle birlikte değerlendirilmelidir.