News for hackers. Stuff that matters.

A comment on Liquid Haskell: Haskell as a Theorem Prover [pdf]. Parent comment

Re:Liquid Haskell: Haskell as a Theorem Prover [pdf] by eveningcoffee on Wednesday December 07, 2016 @06:49PM (#13127294)
It would be interesting to know what were your professor arguments and what was suggested as a better solution.
[ Parent | on HN ]

There are no comments on this comment yet.