move mission to blog post

Roger-luo · Roger-luo · commit 042382a43b71 · 2024-11-10T17:39:34.000-05:00
diff --git a/docs/index.md b/docs/index.md
@@ -23,7 +23,7 @@ and thus result in smaller programs. No need to generate high quality LLVM IR/na
 So there are some chances to simplify terminologies, interfaces for the none-pros, while allowing good
 interactivity and fast prototyping.
 
-For the interested, please see the [Mission](mission.md) document for more details.
+For the interested, please read the [Kirin's Mission](blog/2024/11/11/kirins-mission/) blog post for more details.
 
 ## Acknowledgement
 
diff --git a/docs/mission.md b/docs/mission.md
diff --git a/mkdocs.yml b/mkdocs.yml
@@ -10,7 +10,6 @@ site_url: https://special-broccoli-revrkk1.pages.github.io/
 nav:
   - Home:
       - index.md
-      - Mission: mission.md
       - Installation: install.md
       - Declarations: def.md
       - Compiler 101: 101.md
