goldengrape (@goldengrape) “是不是还应该多发些有趣的东西，哪怕以前发过了。 λ演算入门教程” — TopicDigg
goldengrape
@goldengrape
躲在世界的外面，愉快地张望，
加入 February 2009
242 正在关注 13.9K 粉丝
是不是还应该多发些有趣的东西，哪怕以前发过了。
λ演算入门教程
但凡学过那么一点点数学，知道从空集出发怎么构造自然数，就不会这么莫名惊诧……
我看这推特气数是尽了。
