Finding bugs in Haskell code by proving it

Article URL: http://ift.tt/2nunQsF

Comments URL: http://ift.tt/2BRA94P

Points: 43

# Comments: 0

from Hacker News: Front Page http://ift.tt/2nunQsF
via