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
571
1
Hot in Idris News:
HOT IN Idris News THIS WEEK!
HOT IN Idris News THIS MONTH!
HOT IN Idris News THIS YEAR!
HOT IN Idris News THE LAST THREE YEARS!
A new Idris blog post/announcement has been posted!
Get the full details here: Idris 2 version 0.6.0 Released
New
HOT IN Idris News THIS Over 3 Years!
Typing is Hard
Type Checking and Type Inference
Common terms
Completeness
Soundness
Decidability
Hindley-Milner Type System
Dependent t...
New
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
A new Idris blog post/announcement has been posted!
Get the full details here: Idris 2 version 0.2.2 Released
New
A new Idris blog post/announcement has been posted!
New
A new Idris blog post/announcement has been posted!
New
A new Idris blog post/announcement has been posted!
New
A new Idris blog post/announcement has been posted!
Get the full details here: Idris 2 version 0.5.1 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,541
Watchers: 63
Open Issues: 584
Last push: 16 hours ago
Core Team Members
Portal Stewards
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!
The Pragmatic Bookshelf
35% off any eBook
Manning Publications
45% off any item
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!
Filter by Type:
My Saved Portals
-
None saved yet
Devtalk Sponsors
Practical resources that improve the lives of professional developers.
We build trusted fault-tolerant systems that scale to billions of users.
Develop your skills with books, videos, and courses.
Catch errors, track performance, monitor hosts and more.
Enabling companies to succeed by building software people love.
Courses that'll move you from confusion to "Aha, now I get it!"