If you are interested in Idris, you might also be interested in agda, which is another dependently typed programming language: <a href="https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Agda_(programming_language)" rel="nofollow">https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Agda_(programming_language)</a>