If you think about it long enough, you'll see that it's obvious.
p. 2; Cited in: Benjamin C. Pierce (2002) Types and programming languages. p. 313 - Self-Annihilating Sentences, 1992
If you think about it long enough, you'll see that it's obvious.
p. 2; Cited in: Benjamin C. Pierce (2002) Types and programming languages. p. 313 - Self-Annihilating Sentences, 1992