[docs] translate the article -- section #2

cicada-lang · Sep 5, 2023 · 1166907 · 1166907
1 parent 4741ecd
commit 1166907
Show file tree

Hide file tree

Showing 2 changed files with 19 additions and 1 deletion.
diff --git a/TODO.md b/TODO.md
@@ -1,6 +1,5 @@
 # articles
 
-[docs] translate the article -- section #2
 [docs] translate the article -- section #3
 [docs] translate the article -- section #4
 [docs] translate the article -- section #5

diff --git a/docs/articles/programming-with-interaction-nets.md b/docs/articles/programming-with-interaction-nets.md
@@ -27,4 +27,23 @@ Read this paper to see detailed explanation :)
 
 # 2
 
+How to use graph to encode data?
+
+Suppose we want to encode the most simple data -- natural number.
+We can mimic the ancient knot counting, using node to do the counting.
+
+```
+0  (zero)--
+1  (zero)--(add1)--
+2  (zero)--(add1)--(add1)--
+3  (zero)--(add1)--(add1)--(add1)--
+```
+
+The node encoding 0 `(zero)` has one port,
+the node encoding +1 `(add1)` has two ports,
+we can encode natural number
+by connecting these nodes through the ports.
+
+# 3
+
 TODO