top | new | best | ask | show | jobs | submit

top | item 13063890

Idris: Towards Version 1.0

2 points| frankpf | 9 years ago |idris-lang.org

discuss

order

No comments yet.

powered by hn/api // news.ycombinator.com