3 ms·
(author here) I don't even use Idris! I learnt it a couple of days ago for the purpose of this article. If Idris looks good it's not my fault :)
by kpmah 11y ago
(author here)
I don't even use Idris! I learnt it a couple of days ago for the purpose of this article.
If Idris looks good it's not my fault :)