edwinb/Blodwen

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

All Stories Comments Newest Top Oldest

…Blodwen [1] is being based on it. [0] https://bentnib.org/quantitative-type-theory.pdf [1] https://github.com/edwinb/Blodwen
comment by iamrecursion · 2019-04-14 · in Languages I want to write