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 pizza on Wednesday December 07, 2016 @09:54PM (#13128077)
https://en.wikipedia.org/wiki/Coincidence_detection_in_neuro...
[ Parent | on HN ]

There are no comments on this comment yet.