News for hackers. Stuff that matters.

A comment on The Case for Formal Verification (2013). Parent comment

Re:The Case for Formal Verification (2013) by munin on Monday April 21, 2014 @10:27AM (#7621177)
I don't think so, there have been bugs in ghc before, the problem would be a bug in ghc that emits code that crashes.
[ Parent | on HN ]

There are no comments on this comment yet.