Idris Language
@idrislang
Followers
2K
Following
3
Media
0
Statuses
34
The Idris Programming Language. Tweets by @edwinbrady
Joined March 2017
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
github.com
A purely functional programming language with first class types - idris-lang/Idris2
0
8
30
Hi everyone! We are having another Idris Developer Meeting: 5th - 9th of December! More details here:
github.com
A purely functional programming language with first class types - idris-lang/Idris2
0
4
12
Idris 2 version 0.6.0 has been released. For more details, see https://t.co/WHESziLSWC Enjoy!
3
30
111
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:
0
2
9
Hello everyone! The next Idris Developer Meeting is happening May 16th-20th! Details here:
github.com
A purely functional programming language with first class types - Create new page · idris-lang/Idris2 Wiki
1
8
16
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
github.com
A purely functional programming language with first class types - Create new page · idris-lang/Idris2 Wiki
Hi all! We're going to have an online Idris developer meeting, December 6th-10th. Details here:
2
5
22
Hi all! We're going to have an online Idris developer meeting, December 6th-10th. Details here:
github.com
A purely functional programming language with first class types - Create new page · idris-lang/Idris2 Wiki
0
8
46
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.
0
33
94
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!
0
26
63
A new version of Idris 2, 0.3.0 has been released. See https://t.co/dl760Xgijg for details.
7
22
70
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!
0
51
168
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!
github.com
A purely functional programming language with first class types - idris-lang/Idris2
0
27
109
An initial version of Idris 2, version 0.1.0, has been released. Full details here:
4
89
225
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:
github.com
A purely functional programming language with first class types - edwinb/Idris2
0
23
69
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.
0
20
69
Idris 1.3.0 has been released. Mostly bug fixes and performance improvements. Full details here:
1
35
70
