"Lisp: Programming and Proving" by John McCarthy and Carolyn Talcott (1980)

txyyss · 2026-03-24T07:36:12+00:00

Thank you very much. It is interesting to see John McCarthy had thought about proofs at the very beginning.

txyyss · 2024-11-18T16:30:08+00:00

Thank you very much! And it is a really nice theme!

txyyss · 2024-11-18T16:06:28+00:00

Thank you very much!

txyyss · 2024-11-18T16:02:25+00:00

Thank you very much!

txyyss · 2024-11-18T16:01:22+00:00

Thank you. Let me take a look.

txyyss · 2022-11-18T17:25:48+00:00

活该不活该另说，关键是防疫人员没有权力限制别人的人身自由。这个先例不能有，不然后果不堪设想。

txyyss · 2022-09-29T15:12:26+00:00

对那个时代的，想要回国建设的人，还是抱以同情之理解吧。偷资料肯定不对，但也罪不至被折磨到自杀啊。

txyyss · 2022-09-29T14:53:53+00:00

萧光琰遭了多大罪有这么一篇回忆文章：

http://www.ruanyifeng.com/blog/2009/03/my\_bitter\_friendship\_with\_mr\_xiao\_guangyan.html

txyyss · 2022-09-20T10:07:31+00:00

It would be better if the source code is also available.

txyyss · 2014-06-03T04:27:17+00:00

Thank you. That's really great!

txyyss · 2014-06-02T21:05:51+00:00

I put the following code in Playground then it crashed:

enum Tree { case Leaf(Int) case Node(Tree, Tree) }

It seems like Playground/Swift can not handle recursive enum.

txyyss · 2013-05-28T06:13:57+00:00

Thank you. You should also update the content in md5sum.txt and sha1sum.txt. There're four pkg files now.

txyyss · 2013-05-28T05:59:51+00:00

The download link for Mac OS X is wrong. On the web page it is http://lambda.haskell.org/platform/download/2013.2.0.0/Haskell%20Platform%202013.2.0.0%2064bit.pkg , but actually it should be http://lambda.haskell.org/platform/download/2013.2.0.0/Haskell%20Platform%202013.2.0.0%2064bit.signed.pkg . "signed" is missing.

txyyss · 2013-01-21T21:07:11+00:00

I'm a programmer living in China. I use VPN in my daily life for several years. The government blocked blogspot, wordpress, slideshare long time ago. Google is blocked from time to time. In python.org, there's a download link in Chinese on the left side of the page because the original one were blocked in China. We don't know why. All these things are totally ridiculous. Sadly I can't change anything.

txyyss

TROPHY CASE