3 ms·My experience is stale by now. I'd really like to try recent versions of Idris, though.by Yoric 4y agoMy experience is stale by now. I'd really like to try recent versions of Idris, though.