up

cicada-lang · Nov 16, 2023 · 79673f6 · 79673f6
1 parent ca0de52
commit 79673f6
Showing 1 changed file with 4 additions and 6 deletions.
diff --git a/TODO.md b/TODO.md
@@ -1,3 +1,7 @@
+# type system
+
+Type -- simple structrual type system -- for JSON
+
 # net
 
 [run] run
@@ -28,12 +32,6 @@ How to handle choice?
 
   - Not ok, because Transition is a kind of Value
 
-# type system
-
-Type -- simple type system
-
-- should we use structrual typing or ADT?
-
 # net
 
 [net] TransitionEntry -- has `subnet`