1. 40
  1. 6

    this seems like a significant milestone:

    Note that this is the last version that we guarantee will build with the bootstrapping version. Future versions will require at least Idris 2 version 0.2.1.

    1. 3

      Any particular reason to share this here? I don’t see anything particularly news-worthy in the release notes of this point-release.

      1. 9

        Although it’s a x.y.1 release, it includes a lot of new features.

        I’ve been using the new Bits* data types to write a more accurate mysql wrapper around libmysqlclient at https://github.com/thomasdziedzic/mysql-idris2/

        Also the new :browse and :doc interpreter commands are super useful for exploration.

        1. 1

          Any idea why it’s not 0.3.0 then?

          1. 2

            I guess they’ve made a quick release for the Scottish Summer School on Programming Languages and Verification http://www.macs.hw.ac.uk/splv/ to get the new proof/program search heuristics in.

        2. 3

          Since Idris 2 is in its infancy, the language and tools are taking massive leaps forward right now. This release adds some critical features (as mentioned by sibling comment) to the REPL and gets the IDE Mode support almost to par, if not at par with Idris 1. Really exciting, as I’m working on two projects in Idris 2 right now and have been craving better editor integration. Idris is a language that truly comes alive with the editor integration.

          1. 2

            I think the more exciting part of this release is the code generation/search, specifically the :psnext and :gdnext REPL commands and their IDE mode counterparts.

          2. 1

            I’m using Idris for some programming language research, I’m glad Idris2 is getting along because it’s a much faster implementation.