Hacker GitHub

← All repos

edwinb/Blodwen

View on GitHub ↗ ★ 540 Idris

A prototype successor to Idris

4 mentions on Hacker News by 4 people: 3 stories, 1 comment · first 2017-10-30 · latest 2019-04-14

Mentions per year 4 mentions · busiest year 2018 (2)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 2
    Blodwen: A prototype successor to Idris
    story by espeed · 2018-12-04 · 1 comment
  2. ▲ 2
    README.md at master – edwinb/Blodwen
    story by ScottWRobinson · 2018-10-19 · 0 comments
  3. ▲ 2
    Blodwen – a dependently typed core language implemented in Idris
    story by EvgeniyZh · 2017-10-30 · 0 comments