On the flip side, Idris is listed depite<p><pre><code>    - a wiki article,
    - a book, &quot;Type-Driven Development with Idris&quot; by the language author, and
    - a subreddit
</code></pre>
So I&#x27;m guessing it&#x27;s just not a super well-maintained list.