3 ms·Idris, a language that will change the way you think about programming (2015)1 points by friendly_chap 5y ago