Update introduction.md

Hihaheho · Mar 28, 2023 · f8c18d5 · f8c18d5
1 parent b3bb1ae
commit f8c18d5
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/docs/language/introduction.md b/docs/language/introduction.md
@@ -91,3 +91,7 @@ It creates an alias for string type as arbitrarily length list of characters.
   *
 end
 ```
+
+## Top type and bottom type
+
+TBA