Hacker News new | ask | show | jobs
by agentgt 3221 days ago
I have been meaning to look at Idris for so long! Thanks for the inspiration to move that higher up the queue :)
1 comments
abhirag 3221 days ago
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 :)
link