News for hackers. Stuff that matters.

A comment on Finding bugs in Haskell code by proving it. Parent comment

Re:Finding bugs in Haskell code by proving it by nine_k on Monday December 11, 2017 @08:18PM (#15902325)
Consider it a step to a more general approach. Maybe some parts will be useful. Imagine applying this to Rust and Scala.
[ Parent | on HN ]

There are no comments on this comment yet.