Literate Agda source code file (Q130240299)

From Wikidata

Jump to navigation Jump to search

file format

• Literate Agda source
• Literate Agda file
• Literate Agda file format

edit

Language	Label	Description	Also known as
English	Literate Agda source code file	file format	Literate Agda source Literate Agda file Literate Agda file format

Statements

instance of

file format

1 reference

reference URL

https://pygments.org/docs/lexers/#pygments.lexers.haskell.LiterateAgdaLexer

retrieved

5 September 2024

media type

text/x-literate-agda

1 reference

reference URL

https://pygments.org/docs/lexers/#pygments.lexers.haskell.LiterateAgdaLexer

retrieved

5 September 2024

file extension

lagda

1 reference

reference URL

https://pygments.org/docs/lexers/#pygments.lexers.haskell.LiterateAgdaLexer

retrieved

5 September 2024

 

Sitelinks

Wikipedia(0 entries)

edit

Wikibooks(0 entries)

edit

Wikinews(0 entries)

edit

Wikiquote(0 entries)

edit

Wikisource(0 entries)

edit

Wikiversity(0 entries)

edit

Wikivoyage(0 entries)

edit

Wiktionary(0 entries)

edit

Multilingual sites(0 entries)

edit

Retrieved from "https://www.wikidata.org/w/index.php?title=Q130240299&oldid=2243852514"