Idris 1.0

324 points by insulanian

Read the article

Discussion on Hacker News