The Idris Programming Language. Tweets by @edwinbrady
Joined March 2017
- Tweets 34
- Following 2
- Followers 2,183
- Likes 3
Photos and videos
13 Jul 2023
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/Idris2ā¦
8
30
3,405
15 Nov 2022
Hi everyone! We are having another Idris Developer Meeting: 5th - 9th of December!
More details here: github.com/idris-lang/Idris2ā¦
4
12
28 Oct 2022
Idris 2 version 0.6.0 has been released. For more details, see idris-lang.org/idris-2-versiā¦
Enjoy!
3
30
109
16 May 2022
Hi all! The May 2022 Idris Developer Meeting starts today! Introduction in 5 minutes on the Discord. Looking forward to seeing you all there!
11 Apr 2022
Hello everyone! The next Idris Developer Meeting is happening May 16th-20th! Details here: github.com/idris-lang/Idris2ā¦
2
9
11 Apr 2022
Hello everyone! The next Idris Developer Meeting is happening May 16th-20th! Details here: github.com/idris-lang/Idris2ā¦
6
16
5 Dec 2021
Hi everyone! This starts tomorrow (github.com/idris-lang/Idris2ā¦) 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.
x.com/idrislang/status/14580ā¦
9 Nov 2021
Hi all! We're going to have an online Idris developer meeting, December 6th-10th. Details here: github.com/idris-lang/Idris2ā¦
2
5
21
9 Nov 2021
Hi all! We're going to have an online Idris developer meeting, December 6th-10th. Details here: github.com/idris-lang/Idris2ā¦
8
46
18 Sep 2021
Idris 2 version 0.5.0 has been released. Details here: idris-lang.org/idris-2-versiā¦
Thanks as ever to the many contributors! See idris-lang.org/pages/communiā¦ for where to join in discussions.
33
91
23 Jun 2021
Idris 2 version 0.4.0 has been released. Details here: idris-lang.org/idris-2-versiā¦
Lots of new stuff to enjoy there - thanks to all the contributors!
26
62
13 Jan 2021
A new version of Idris 2, 0.3.0 has been released. See idris-lang.org/idris-2-versiā¦ for details.
7
21
68
25 May 2020
Idris 2 v0.2.0 has been released. Full details here: idris-lang.org/idris-2-versiā¦
The signficance of this version is that it's the first released version that can compile itself. Have fun!
51
165
20 May 2020
The Idris2 repository has moved to the "idris-lang" organisation, and now lives at: github.com/idris-lang/Idris2ā¦
This is now implemented in Idris 2 itself, and bootstrapped via Scheme. Thanks to everyone who's helped us get this far!
27
108
31 Mar 2020
An initial version of Idris 2, version 0.1.0, has been released. Full details here: idris-lang.org/idris-2-versiā¦
4
86
219
22 Jul 2019
Idris 1.3.2 has been released idris-lang.org/idris-1-3-2-rā¦
This includes what you need to build the rapidly developing Idris 2, which you can find here: github.com/edwinb/Idris2
23
67
23 Oct 2018
Idris 1.3.1 has been released. idris-lang.org/idris-1-3-1-rā¦
This fixes build issues with GHC 8.6, and some run-time system issues.
20
69
26 May 2018
Idris 1.3.0 has been released. Mostly bug fixes and performance improvements. Full details here: idris-lang.org/idris-1-3-0-rā¦
1
33
68
7 Jan 2018
Idris 1.2.0 has been released. Enjoy! Details here: idris-lang.org/idris-1-2-0-rā¦
3
90
164
Idris Language retweeted
9 Nov 2017
Slides to my #CodeMesh Flying Spaghetti Monster talk on #Idris and protocols are online - ctford.github.io/flying-spagā¦
11
24