archives

Idris 1.0 Released

What do we mean by “1.0”?

Idris version 1.0 corresponds to the language as described in Type-Driven Development with Idris, published last week by Manning.

By Ehud Lamm at 2017-04-01 18:53 | General | 2 comments | other blogs | 57848 reads