Idris2 Language

From Dontopedia, the open, paraconsistent wiki.

Dontopedia does not yet have an article on Idris2 Language. Dontopedia only has what someone has researched — file the first fact yourself, or kick off a research session and let a Claude agent do the legwork with sources.