Other articles


  1. Idris 2 version 0.1.0 Released

    A new version (0.1.0) of Idris 2 has been released. You can download the source (including a generated C file for building) from the download page.

    This is a complete reimplementation of Idris, written in Idris 1. You will need the latest Idris 1 to build from source …

    read more