4 ms·Towards Version 1.0 [of the dependently-typed Idris programming language]2 points by waffle_ss 10y ago