News for hackers. Stuff that matters.

A comment on Advice From An Old Programmer. Parent comment

Re:Advice From An Old Programmer by Peaker on Saturday June 18, 2011 @12:37PM (#2668935)
Take a look at Agda (http://wiki.portal.chalmers.se/agda/pmwiki.php) and tell me if you could "learn it in a week".
[ Parent | on HN ]

There are no comments on this comment yet.