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):
https://t.co/G28KjxesUG
Hi everyone! This starts tomorrow (https://t.co/XJ1LiZpCii) 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.
https://t.co/xDJjyt5fTf
Idris 2 version 0.5.0 has been released. Details here: https://t.co/Hjupgcl8aS
Thanks as ever to the many contributors! See https://t.co/1ON6gtqx8v for where to join in discussions.
Idris 2 v0.2.0 has been released. Full details here: https://t.co/X5Ca5sCrNM
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: https://t.co/rHc6784b32
This is now implemented in Idris 2 itself, and bootstrapped via Scheme. Thanks to everyone who's helped us get this far!
Idris 1.3.2 has been released https://t.co/rpBT8kufXQ
This includes what you need to build the rapidly developing Idris 2, which you can find here: https://t.co/jExjJl9vP1