3 ms·
I have been meaning to look at Idris for so long! Thanks for the inspiration to move that higher up the queue :)
by agentgt 9y ago
I have been meaning to look at Idris for so long! Thanks for the inspiration to move that higher up the queue :)
- abhirag 9y agoDefinitely 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 :)