News for hackers. Stuff that matters.

A comment on Why functional programming matters (1990) [pdf]. Parent comment

Re:Why functional programming matters (1990) [pdf] by mafribe on Monday May 11, 2015 @01:49AM (#9522947)
I'm not totally sure what you mean by "external proofs will ultimately be neglected".
[ Parent | on HN ]

There are no comments on this comment yet.