Hacker News Reader

I have been meaning to look at Idris for so long! Thanks for the inspiration to move that higher up the queue :)

Definitely start with the book I mentioned, it is by Edwin Brady, he leads the development of Idris. I am reading it right now and it is an enjoyable read :)

Reply on news.ycombinator.com