Hot in Idris Learning Resources:
HOT IN Idris Learning Resources THIS WEEK!
HOT IN Idris Learning Resources THIS MONTH!
HOT IN Idris Learning Resources THIS YEAR!
HOT IN Idris Learning Resources THE LAST THREE YEARS!
HOT IN Idris Learning Resources THIS Over 3 Years!
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
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
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