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
126
1

Hot in Idris:
Latest Idris Threads

A new Idris blog post/announcement has been posted!
Get the full details here: Idris 2 version 0.6.0 Released
New

A new Idris blog post/announcement has been posted!
Get the full details here: Idris 2 version 0.5.1 Released
New

A new Idris blog post/announcement has been posted!
New

A new Idris blog post/announcement has been posted!
New

Typing is Hard
Type Checking and Type Inference
Common terms
Completeness
Soundness
Decidability
Hindley-Milner Type System
Dependent ...
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: https://www.idris-lang.org/idris-2-version-022-released....
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

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!

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 THE LAST THREE YEARS!

Typing is Hard
Type Checking and Type Inference
Common terms
Completeness
Soundness
Decidability
Hindley-Milner Type System
Dependent ...
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!
New

A new Idris blog post/announcement has been posted!
Get the full details here: https://www.idris-lang.org/idris-2-version-022-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!
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,101
Watchers: 63
Open Issues: 526
Last push: 20 hours ago
Latest Idris Jobs
Idris Events (WIP)
Get money off!

The Pragmatic Bookshelf
35% off any eBook

Manning Publications
35% 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