Idris homepage: <a href="http:&#x2F;&#x2F;www.idris-lang.org&#x2F;" rel="nofollow">http:&#x2F;&#x2F;www.idris-lang.org&#x2F;</a><p>Github: <a href="https:&#x2F;&#x2F;github.com&#x2F;idris-hackers" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;idris-hackers</a>