From ed28c09c51d0654525120fabb85f1f177dc6f68d Mon Sep 17 00:00:00 2001
From: pca006132 <jl@m-labs.hk>
Date: Fri, 25 Jun 2021 12:57:43 +0800
Subject: [PATCH] updated readme

---
 README.md | 15 ++++++++++++---
 1 file changed, 12 insertions(+), 3 deletions(-)

diff --git a/README.md b/README.md
index 9b7df5368..23c935198 100644
--- a/README.md
+++ b/README.md
@@ -16,10 +16,19 @@ compiler would analyse the set of functions/classes that are used and perform
 code generation.
 
 
-Symble resolver:
-Str -> Nac3Type
-Str -> Value
+Symbol resolver:
+- Str -> Nac3Type
+- Str -> Value
 
 value could be integer values, boolean values, bytes (for memcpy), function ID
 (full name + concrete type)
 
+## Current Plan
+
+1. Write out the syntax-directed type checking/inferencing rules. Fix the rule
+   for type variable instantiation.
+2. Update the library dependencies and rewrite some of the type checking code.
+3. Design the symbol resolver API.
+4. Move tests from code to external files to cleanup the code.
+
+