Idris Language

Hello all! It's time for another Idris Developer Meeting! 🎉 🗓️28th Aug - 01 Sep 2023 And we're trying something new: there will be 2 physical locations: St Andrews 🏴󠁧󠁢󠁳󠁣󠁴󠁿, and Zürich 🇨🇭on the continent. Full details here (and on the Discord): github.com/idris-lang/Idr…

Hi everyone! We are having another Idris Developer Meeting: 5th - 9th of December! More details here: github.com/idris-lang/Idr…

Idris 2 version 0.6.0 has been released. For more details, see idris-lang.org/idris-2-versio… Enjoy!

Hi all! The May 2022 Idris Developer Meeting starts today! Introduction in 5 minutes on the Discord. Looking forward to seeing you all there!

Hello everyone! The next Idris Developer Meeting is happening May 16th-20th! Details here: github.com/idris-lang/Idr…

Hi everyone! This starts tomorrow (github.com/idris-lang/Idr…) and you're welcome to join in for as much or as little as you like. Or even just drop in for a coffee/beer at the Idris Castle. twitter.com/idrislang/stat…

Hi all! We're going to have an online Idris developer meeting, December 6th-10th. Details here: github.com/idris-lang/Idr…

Idris 2 version 0.5.0 has been released. Details here: idris-lang.org/idris-2-versio… Thanks as ever to the many contributors! See idris-lang.org/pages/communit… for where to join in discussions.

Idris 2 version 0.4.0 has been released. Details here: idris-lang.org/idris-2-versio… Lots of new stuff to enjoy there - thanks to all the contributors!

A new version of Idris 2, 0.3.0 has been released. See idris-lang.org/idris-2-versio… for details.

Idris 2 version 0.2.1 has been released: idris-lang.org/idris-2-versio…

Idris 2 v0.2.0 has been released. Full details here: idris-lang.org/idris-2-versio… The signficance of this version is that it's the first released version that can compile itself. Have fun!

The Idris2 repository has moved to the "idris-lang" organisation, and now lives at: github.com/idris-lang/Idr… This is now implemented in Idris 2 itself, and bootstrapped via Scheme. Thanks to everyone who's helped us get this far!

An initial version of Idris 2, version 0.1.0, has been released. Full details here: idris-lang.org/idris-2-versio…

Idris 1.3.2 has been released idris-lang.org/idris-1-3-2-re… This includes what you need to build the rapidly developing Idris 2, which you can find here: github.com/edwinb/Idris2

Idris 1.3.1 has been released. idris-lang.org/idris-1-3-1-re… This fixes build issues with GHC 8.6, and some run-time system issues.

Idris 1.3.0 has been released. Mostly bug fixes and performance improvements. Full details here: idris-lang.org/idris-1-3-0-re…

Idris 1.2.0 has been released. Enjoy! Details here: idris-lang.org/idris-1-2-0-re…

Slides to my #CodeMesh Flying Spaghetti Monster talk on #Idris and protocols are online - ctford.github.io/flying-spaghet…