diff --git a/docs/articles/programming-with-interaction-nets.md b/docs/articles/programming-with-interaction-nets.md index 9a3d440..1c0b6fa 100644 --- 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/\345\217\215\345\272\224\347\275\221\347\274\226\347\250\213.md" "b/docs/articles/\345\217\215\345\272\224\347\275\221\347\274\226\347\250\213.md" index 7663334..4a937e9 100644 --- "a/docs/articles/\345\217\215\345\272\224\347\275\221\347\274\226\347\250\213.md" +++ "b/docs/articles/\345\217\215\345\272\224\347\275\221\347\274\226\347\250\213.md" @@ -19,13 +19,6 @@ year: 2023 在这篇文章中,我顺着拉丰的论文中的例子,来讲解反应网的原理, 并且介绍我设计的,用来实践这个计算模型的程序语言。 -我的语言对于反应网的主要贡献是, -用栈和后缀表达式来构造网。 - -何为栈?何为后缀表达式?如何构造网? - -细读下文,自有分解。 - # 2 如何用图来编码数据呢?