思维转储 在浏览书籍时，此回购记录会跟踪我的代码，答案和想法。 我喜欢通过重复别人所做的事情来学习东西，我想从中找到新的东西。 因此，我将此仓库命名为“ Thinking dumps”。 请随时使用代码或与我分享您的想法。 将样式编译器从自定义lisp语言传递到球拍的延续实现。 关于本杰明·皮尔斯的笔记。 阅读Philip Wadler 一些尝试 图算法的个人实践 （ Bloxorz.hs实现了DFS算法以找到的解决方案） 我的审判正式化了B. Russell与Coq撰写的所有定理。 haskell的无类型lambda减少只是为了好玩。 实施懒惰评估的个人实践。 小语言的实现被移出成为一个独立的项目。 有关详情，请参见。 我关于Jame R. Munkres拓扑的学习笔记。 我解决方案 我的解决方案 。 我对SICP练习的解决方案。 在我的博客上查看有关SICP的。 我尝试实现各种算法来解决。 我的Daniele Turi的“类别理论讲义”笔记。