From 808dea3ae45f7a19f88a8d9e42f44ac20de0eee5 Mon Sep 17 00:00:00 2001 From: Lonami Date: Sun, 10 Sep 2017 15:35:26 +0200 Subject: [PATCH] Add tips on how to port the project and TL definition links --- Developing.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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