Godel's theorem only applies to proof systems that can encode basic arithmetic, which most type systems cannot.
2.2 beta 1 was released last week. Testers welcome!
http://lmgtfy.com/?q=duff%27s+device&l=1#
Godel's theorem only applies to proof systems that can encode basic arithmetic, which most type systems cannot.
2.2 beta 1 was released last week. Testers welcome!
http://lmgtfy.com/?q=duff%27s+device&l=1#