Hacker News new | past | comments | ask | show | jobs | submit | yorwba's favorites login
   submissions | comments
1. Towards Idris Version 1.0 (idris-lang.org)
236 points by yomritoyj on Nov 30, 2016 | 49 comments

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: