4 ms·Idris, a language that will change the way you think about programming4 points by friendly_chap 6y ago