HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by lmm | Hacker News Reader
Parent
Full thread
lmm
·
What do you think of Idris?
View on HN
olzd
·
Idris certainly is nice but I doubt anyone uses it for real stuff.
Reply on news.ycombinator.com