News for hackers. Stuff that matters.

A comment on Are unsound type systems wrong?. Parent comment

Re:Are unsound type systems wrong? by mcguire on Saturday April 07, 2018 @01:55PM (#16781819)
For reference: https://en.wikipedia.org/wiki/G%C3%B6del%27s_completeness_th...
[ Parent | on HN ]

There are no comments on this comment yet.