idris-lang/Idris-dev

A Dependently Typed Functional Programming Language

56 best points · 13 comments · 2 Hacker News posts · 3,478 GitHub stars · View on GitHub

Hacker News discussions

• Copatterns in Idris (56 points, 13 comments, by lelf, 2014-09-10)
• Uniqueness types in Idris (19 points, 0 comments, by steveklabnik, 2014-10-27)