Hacker GitHub

← All repos

edwinb/Idris2

View on GitHub ↗ ★ 58 Idris

A purely functional programming language with first class types

5 mentions on Hacker News by 5 people: 1 story, 4 comments · first 2019-07-08 · latest 2020-01-30

Mentions per year 5 mentions · busiest year 2019 (3)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 17
    Idris 2 programming language announced
    story by adamnemecek · 2019-07-08 · 1 comment