Hacker GitHub

← All repos

idris-lang/Idris-dev

View on GitHub ↗ ★ 3,478 Haskell archived

A Dependently Typed Functional Programming Language

21 mentions on Hacker News by 21 people: 2 stories, 19 comments · first 2014-04-13 · latest 2020-09-12

Mentions per year 21 mentions · busiest year 2014 (7)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 19
    Uniqueness types in Idris
    story by steveklabnik · 2014-10-27 · 0 comments
  2. ▲ 56
    Copatterns in Idris
    story by lelf · 2014-09-10 · 13 comments