From bd71822719857a6d429a4a9e27fe34e2a45c73f8 Mon Sep 17 00:00:00 2001
From: pca006132 <jl@m-labs.hk>
Date: Tue, 22 Dec 2020 16:59:36 +0800
Subject: [PATCH] updated readme

---
 toy-impl/README.md | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/toy-impl/README.md b/toy-impl/README.md
index 37b4976..43cfec1 100644
--- a/toy-impl/README.md
+++ b/toy-impl/README.md
@@ -9,6 +9,7 @@ for simplicity reasons:
 * Most of the types, only the following types are implemented:
     * `int32`
     * `int64`
+    * `float`
     * `bool`
     * `list[T]`
     * `tuple[T1,...]`
@@ -24,3 +25,9 @@ These features are currently not implemented, and would be added in due course:
 * Type guards.
 
 
+## Type Check Implementation
+
+## Variable Scoping
+
+## Operator Override
+