Idris source code file

text

file format

Identify it

Not sure your file is this? Identify it from its first bytes, in your browser.

Open it

• IdrisOpen sourcereads and writes · BSD licenses
• PygmentsOpen sourcereads · 2-clause BSD License
• Smultronreads

Convert it

No conversion recorded. One of the tools above may export it; search for a chain.

Sources

• Wikidata Q127703853

From Wikidata. Updated 2026-10-20.

Improve this record JSON