News for hackers. Stuff that matters.

A comment on Haskell Platform 2013.2.0.0. Parent comment

Re:Haskell Platform 2013.2.0.0 by lelf on Tuesday May 28, 2013 @09:45AM (#5779984)
Yep, thanks. But those nifty type holes…
[ Parent | on HN ]
Re:Haskell Platform 2013.2.0.0 by tel on Tuesday May 28, 2013 @09:50AM (#5780005)
I haven't used them, but the day there's Agda in my haskell will be a good day.
[ Parent | on HN ]