2 ms·Version 0.9.13 of the dependently-typed functional language Idris released2 points by jobstijl 12y ago