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. …Haskell+Dependent Types will likely be usable sooner. There is an 'Idris 2' being developed, too ( https://github.com/edwinb/Idris2 ), which is an entirely new compiler with a new type theory (although not entirely dissimilar), which just…
    comment by saityi · 2020-01-30 · in Developing GHC for a Living
  2. …progress on a new compiler--this time written in Idris itself--that's much faster in practice: https://github.com/edwinb/Idris2
    comment by lodi · 2020-01-20 · in A game in a pure language (part 1): introduction and problems with Idris
  3. …of the type reduces the search space, hence increases the effectiveness of the proof search. [0] https://github.com/edwinb/Idris2 [1] https://en.wikipedia.org/wiki/Substructural_type_system#Line... [2]…
    comment by mathetic · 2019-10-29 · in Moving Beyond Types (2017)
  4. repository (published a few days before this talk at Curry-On 2019): https://github.com/edwinb/Idris2
    comment by tosh · 2019-07-23 · in Idris 2
  5. ▲ 17
    Idris 2 programming language announced
    story by adamnemecek · 2019-07-08 · 1 comment