up

cicada-lang · Sep 23, 2023 · ad94055 · ad94055
1 parent e28616c
commit ad94055
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 14 deletions.
diff --git a/docs/articles/programming-with-interaction-nets.md b/docs/articles/programming-with-interaction-nets.md
@@ -18,13 +18,6 @@ to introduce the principal of interaction nets.
 And I will also introduce a language I designed
 to practice this computation model.
 
-My language's main contribution to interaction nets,
-is to use stack and postfix notation to build nets.
-
-What is stack? What is postfix notation? How to build nets?
-
-Read this paper to see detailed explanation :)
-
 # 2
 
 How to use graph to encode data?

diff --git a/docs/articles/反应网编程.md b/docs/articles/反应网编程.md
@@ -19,13 +19,6 @@ year: 2023
 在这篇文章中，我顺着拉丰的论文中的例子，来讲解反应网的原理，
 并且介绍我设计的，用来实践这个计算模型的程序语言。
 
-我的语言对于反应网的主要贡献是，
-用栈和后缀表达式来构造网。
-
-何为栈？何为后缀表达式？如何构造网？
-
-细读下文，自有分解。
-
 # 2
 
 如何用图来编码数据呢？