move mimor to inner

cicada-lang · Oct 1, 2024 · 6c282ff · 6c282ff
1 parent 2d11ca4
commit 6c282ff
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 143 deletions.
diff --git a/TODO.md b/TODO.md
@@ -29,13 +29,6 @@ examples/multipleDwelling
   所有类型不是 Cell 的参数，
   都可以被自动套上一个 `constantCell`
 
-# mimor
-
-[mimor] 4 Dependencies
-[mimor] 5 Expressive Power
-[mimor] 6 Towards a Programming Language
-[mimor] 7 Philosophical Insights
-
 # 完成 "The Art" 中的 Heron 例子
 
 > - 需要设计 lattice 来逼近结果

diff --git a/docs/mimors/propagator-networks.mimor b/docs/mimors/propagator-networks.mimor