Skip to content

Commit a3c06a2

Browse files
xieyuhengxieyuheng
committed
remove docs/lambda-calculus/ -- in inner already
1 parent 6c4ac27 commit a3c06a2

File tree

5 files changed

+4
-663
lines changed

5 files changed

+4
-663
lines changed

‎TODO.md

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,5 @@
1-
# docs
1+
re-org our way of writing interpreter -- mini dependencies
22

3-
[docs] docs/lambda-encoding -- Exp Lambda 编码的例子，外加解释器
4-
[docs] docs/self-type
3+
# x-data
4+
5+
use x-data -- to replace sexp

‎docs/lambda-calculus/book.json

Lines changed: 0 additions & 9 deletions
This file was deleted.

‎docs/lambda-calculus/src/fixpoint.md

Lines changed: 0 additions & 202 deletions
This file was deleted.

0 commit comments

Comments
 (0)