4 ms·
Learning Idris will definitely alter the way you think about programming and make you a better programmer, even if you don't program in it on a daily basis.
by bor0 8y ago
Learning Idris will definitely alter the way you think about programming and make you a better programmer, even if you don't program in it on a daily basis.