Idris source code file (Q127703853): Preview

Idris source code file (Q127703853)
file format

Language:

Current Data About Idris source code file

(P31)

(Q235557)

(P854)	https://docs.idris-lang.org/en/latest/tutorial/starting.html
(P813)	Tuesday, July 23, 2024

(P1163)

text/x-idris

(P854)	https://pygments.org/docs/lexers/#pygments.lexers.haskell.IdrisLexer
(P813)	Friday, August 23, 2024

(P1195)

idr

(P854)	https://docs.idris-lang.org/en/latest/tutorial/starting.html
(P813)	Tuesday, July 23, 2024

other details

aliases	Idris source code
description	file format