News for hackers. Stuff that matters.

A comment on Programming languages are not languages (2018). Parent comment

Re:Programming languages are not languages (2018) by martin__ on Tuesday April 14, 2020 @10:36PM (#22873886)
You might want to look into something called Constructivism:

https://en.wikipedia.org/wiki/Constructive_proof

[ Parent | on HN ]

There are no comments on this comment yet.