Re:Confession of a Haskell Hacker
by tikhonj on Sunday July 08, 2012 @06:57PM
(#4215983)
This is why Turing-complete languages are evil and you should use Agda.
[ Parent
| on HN ]
There are no comments on this comment yet.