Hot in Idris Jobs:
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,484
Watchers: 65
Open Issues: 558
Last push: 6 days 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