Literate Agda sözdizimi kaydı

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

Temel bilgiler

Takma adliterate-agda, lagda

Dosya deseni*.lagda

MIMEtext/x-literate-agda

Literate Agda nedir?

Literate Agda, 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

literate-agda, lagda

Dosya desenleri

*.lagda

MIME türleri

text/x-literate-agda

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