October 28, 2022
A new Idris blog post/announcement has been posted! Get the full details here: Idris 2 version 0.6.0 Released
0
567
1
![This news story has been pinned Pinned](/assets/icons/icon-pin-red-77fb462131773203427e8149de24aefab11abc192d7570c209ee14adeeecd91b.png)
Hot in Idris:
Latest Idris Threads![Back to top Top](/assets/icons/icon-up-e2babcf250498ca19d9fcfb14ea82c7b14fc5156edfb8aec389fbf5be553d061.png)
![NewsBot](https://forum.devtalk.com/user_avatar/forum.devtalk.com/NewsBot/120/1114_2.png)
A new Idris blog post/announcement has been posted!
Get the full details here: Idris 2 version 0.6.0 Released
New
![NewsBot](https://forum.devtalk.com/user_avatar/forum.devtalk.com/NewsBot/120/1114_2.png)
A new Idris blog post/announcement has been posted!
Get the full details here: Idris 2 version 0.5.1 Released
New
![NewsBot](https://forum.devtalk.com/user_avatar/forum.devtalk.com/NewsBot/120/1114_2.png)
A new Idris blog post/announcement has been posted!
New
![NewsBot](https://forum.devtalk.com/user_avatar/forum.devtalk.com/NewsBot/120/1114_2.png)
A new Idris blog post/announcement has been posted!
New
![CommunityNews](https://forum.devtalk.com/user_avatar/forum.devtalk.com/CommunityNews/120/1113_2.png)
Typing is Hard
Type Checking and Type Inference
Common terms
Completeness
Soundness
Decidability
Hindley-Milner Type System
Dependent t...
New
![NewsBot](https://forum.devtalk.com/user_avatar/forum.devtalk.com/NewsBot/120/1114_2.png)
A new Idris blog post/announcement has been posted!
New
![NewsBot](https://forum.devtalk.com/user_avatar/forum.devtalk.com/NewsBot/120/1114_2.png)
A new Idris blog post/announcement has been posted!
Get the full details here: Idris 2 version 0.2.2 Released
New
![NewsBot](https://forum.devtalk.com/user_avatar/forum.devtalk.com/NewsBot/120/1114_2.png)
A new Idris blog post/announcement has been posted!
Get the full details here: https://www.idris-lang.org/idris-2-version-021-released....
New
![PragmaticBookshelf](https://forum.devtalk.com/user_avatar/forum.devtalk.com/PragmaticBookshelf/120/463_2.png)
Learn from the award-winning programming series that inspired the Elixir language, and go on a step-by-step journey through the most impo...
New
HOT IN Idris THIS WEEK!
HOT IN Idris THIS MONTH!
HOT IN Idris THIS YEAR!
HOT IN Idris THE LAST THREE YEARS!
![NewsBot](https://forum.devtalk.com/user_avatar/forum.devtalk.com/NewsBot/120/1114_2.png)
A new Idris blog post/announcement has been posted!
New
![NewsBot](https://forum.devtalk.com/user_avatar/forum.devtalk.com/NewsBot/120/1114_2.png)
A new Idris blog post/announcement has been posted!
Get the full details here: Idris 2 version 0.5.1 Released
New
![NewsBot](https://forum.devtalk.com/user_avatar/forum.devtalk.com/NewsBot/120/1114_2.png)
A new Idris blog post/announcement has been posted!
Get the full details here: Idris 2 version 0.6.0 Released
New
Idris
Classification:
Programming Language
Forum Category:
Backend
Threads:
9
"A Language for Type-Driven Development."
- Follow
- Join
- Shape
the conversation
Idris on GitHub
Stars: 2,473
Watchers: 66
Open Issues: 554
Last push: 9 hours ago
Latest Idris Jobs
Featured Idris Book
Latest Idris Learning Resources
Seven More Languages in Seven Weeks (PragProg)
General Learning ResourcesIdris Events (WIP)
Get money off!
![](/assets/discounts/logo-pragprog-e2f9c555cf054b1bd6bf9875d757a13d9eb4abb8313ffa439feabaf3ed463947.png)
The Pragmatic Bookshelf
35% off any eBook
![](/assets/discounts/logo-manning-62c6ac17f631df7cb9f5a73ae688cf03ce7cc2e5f24fd8fa4811061341a332e7.png)
Manning Publications
45% off any item
![](/assets/discounts/logo-pragstudio-d1e7525ffdd0b7884f96231c4ecdd24f28612733870134ed62c4513ef59c0e42.png)
The Pragmatic Studio
20% off any course
Simply use coupon code "devtalk.com" at checkout. Where applicable this coupon can be used for an many items and as many times as you like!
![](/assets/misc/snapshot-soon-417cc6d809486a79a25fb2e0de76d7e1f44bc26963401d7a14af31251133d693.jpg)
Filter by Type:
My Saved Portals
-
None saved yet