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 geooooooooobox on Wednesday December 07, 2016 @09:30PM (#13127966)
so why is it useful?
[ Parent | on HN ]

There are no comments on this comment yet.