Idris sözdizimi kaydı

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

Temel bilgiler

Takma adidris, idr

Dosya deseni*.idr

MIMEtext/x-idris

Idris nedir?

Idris, 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

idris, idr

Dosya desenleri

*.idr

MIME türleri

text/x-idris

İ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.