up

TODO.md

@@ -12,16 +12,6 @@ why no active edge in `Nat.inet.four.initial`？
 
 change the `render` command to simple `run` command
 
-`NetRenderer` show port name
-
-# value
-
-the stack can take other types of values -- not only port
-
-`"head" set` instead of `(let head)`
-
-explicit `"name" get` for local variable
-
 # simple types
 
 linear logic as type system of inet
@@ -55,3 +45,9 @@ understand proof-nets for all connectives
 - proof-nets--the-parallel-syntax-for-proof-theory--1995.pdf
 - "The linear abstract machine", Lafont, 1990.
 - "From proof-nets", Lafont, 1995
+
+# value
+
+the stack can take other types of values -- not only port
+
+`"name" set` and `"name" get` for local variable