3 ms·
So what if it is, if Idris is a useful tool for the task? Seems a bit of a non-comment.
by abstractbeliefs 11y ago
So what if it is, if Idris is a useful tool for the task?
Seems a bit of a non-comment.
- fiatjaf 11y agoNot at problem at all. I am even looking at Idris right now and I haven't never heard of it before.