Idris 1.0 Released
Lambda the Ultimate - Programming Languages Weblog 2017-06-22
Summary:
Idris version 1.0 corresponds to the language as described in Type-Driven Development with Idris, published last week by Manning.
Idris version 1.0 corresponds to the language as described in Type-Driven Development with Idris, published last week by Manning.