Idris (<a href="http:&#x2F;&#x2F;www.idris-lang.org&#x2F;" rel="nofollow">http:&#x2F;&#x2F;www.idris-lang.org&#x2F;</a>).<p>Edwin Brady is working on a book that you can access via the Manning Publications MEAP program (<a href="https:&#x2F;&#x2F;www.manning.com&#x2F;books&#x2F;type-driven-development-with-idris" rel="nofollow">https:&#x2F;&#x2F;www.manning.com&#x2F;books&#x2F;type-driven-development-with-i...</a>).