News for hackers. Stuff that matters.

A comment on Learn You an Agda. Parent comment

Re:Learn You an Agda by foobarbaz1234 on Wednesday December 03, 2014 @05:29AM (#8692909)
Keep also in mind, that it is ultra-fast (http://www.techempower.com/benchmarks/#section=data-r9&hw=pe...).
[ Parent | on HN ]

There are no comments on this comment yet.