Idris Language

The Idris Programming Language. Tweets by @edwinbrady

[Idris Language @idrislang]

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

[Idris Language @idrislang]

Hi everyone! We are having another Idris Developer Meeting: 5th - 9th of December!
More details here: https://t.co/gSOKWVzSGo

[Idris Language @idrislang]

Idris 2 version 0.6.0 has been released. For more details, see https://t.co/WHESziLSWC

Enjoy!

[Idris Language @idrislang]

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

[Idris Language @idrislang]

Hello everyone! The next Idris Developer Meeting is happening May 16th-20th! Details here: https://t.co/k5j3FUu7jT

[Idris Language @idrislang]

Hello everyone! The next Idris Developer Meeting is happening May 16th-20th! Details here: https://t.co/k5j3FUu7jT

[Idris Language @idrislang]

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 Language @idrislang]

Hi all! We're going to have an online Idris developer meeting, December 6th-10th. Details here: https://t.co/XJ1LiZpCii

[Idris Language @idrislang]

Hi all! We're going to have an online Idris developer meeting, December 6th-10th. Details here: https://t.co/XJ1LiZpCii

[Idris Language @idrislang]

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 Language @idrislang]

Idris 2 version 0.4.0 has been released. Details here: https://t.co/v8yOoBwMbX

Lots of new stuff to enjoy there - thanks to all the contributors!

[Idris Language @idrislang]

A new version of Idris 2, 0.3.0 has been released. See https://t.co/dl760Xgijg for details.

[Idris Language @idrislang]

Idris 2 version 0.2.1 has been released: https://t.co/Xf202dKr0L

[Idris Language @idrislang]

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!

[Idris Language @idrislang]

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 Language @idrislang]

An initial version of Idris 2, version 0.1.0, has been released. Full details here: https://t.co/iVeWijtOjI

[Idris Language @idrislang]

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

[Idris Language @idrislang]

Idris 1.3.1 has been released. https://t.co/kNw9uLQE6P

This fixes build issues with GHC 8.6, and some run-time system issues.

[Idris Language @idrislang]

Idris 1.3.0 has been released. Mostly bug fixes and performance improvements. Full details here: https://t.co/E9q6lbPlne

[Idris Language @idrislang]

Idris 1.2.0 has been released. Enjoy! Details here: https://t.co/IOIiJFz4DJ

[Chris Ford @ctford]

Slides to my #CodeMesh Flying Spaghetti Monster talk on #Idris and protocols are online - https://t.co/p1KIJy1on7