diff --git a/Developing.md b/Developing.md
index 2b0fd29..737c043 100644
--- a/Developing.md
+++ b/Developing.md
@@ -1,3 +1,5 @@
 * [Philosophy](Philosophy)
 * [Project structure](Project-structure)
-* [Coding style](Coding-style)
\ No newline at end of file
+* [Coding style](Coding-style)
+* [Understanding the Type Language](Understanding-the-Type-Language)
+* [Tips for Porting the Project](Tips-for-Porting-the-Project)
\ No newline at end of file