News for hackers. Stuff that matters.
Re:Idris 1.0 by willtim on Saturday April 01, 2017 @11:41AM (#14012620)
Of course, lazy-by-default also brings many advantages: http://augustss.blogspot.co.uk/2011/05/more-points-for-lazy-...

There are no comments on this comment yet.